/*

	afd.pro: Autómatas de Edo. Finito Determinísticos
	Alberto Pacheco, alberto@acm.org, Oct'99, Nov'00

	Use:
		main.

*/

main:-
	% Johnsonbaugh, Mat. Discretas, cap. 10
	% Acepta cadenas binarias inician 1 y terminan 0
	test([1,0]),
	test([0,1]),
	test([1,1,0,0]),
	test([0,1,1,0]).


% Reconocedor
test(L) :-
	test(L,s0),
	write(' Aceptar: '), write(L), nl.
test(L) :-
	write('Rechazar: '), write(L), nl.

test([I],E1) :-
	f(E1,I,E2),
	a(E2).
test([H|T],E1) :-
	f(E1,H,E2),
	test(T,E2).

% Gramatica:	función f
%		Acepta w inicia 1, termina 0
f(s0,0,s3).
f(s0,1,s1).
f(s1,0,s2).
f(s1,1,s1).
f(s2,0,s2).
f(s2,1,s1).
f(s3,_,s3).

% Edos. Aceptación
a(s2).