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

 Use:
	? main.
	Acepta cadenas binarias inician 1 y terminan 0
	 Aceptar: "10"
	Rechazar: "01"	Símbolo inválido: 0
	 Aceptar: "1100"
	Rechazar: "12"	Símbolo inválido: 2
*/

main:-
	% Johnsonbaugh, Mat. Discretas, cap. 10
	consult('afd_tst.pro'),
	write($Acepta cadenas binarias inician 1 y terminan 0$),nl,
	test($10$),
	test($01$),
	test($1100$),
	test($12$).

% Gramática:	función f
%		Acepta w inicia 1, termina 0

edo_inicial(s0).

%  f(s0,`0,s3). % if not present then input symbol error
f(s0,`1,s1).
f(s1,`0,s2).
f(s1,`1,s1).
f(s2,`0,s2).
f(s2,`1,s1).
%  f(s3,_,s3). % if not present then input symbol error

% Edos. Aceptación
a(s2).