このディレクトリの索引
%  
%                               a                               \+b
%                  -------------------------->            ----------------
%         状態_0                                 状態_1                  |
%                  <--------------------------            <---------------
%                               b
%
%          言語(a*b)*を受理する非決定性有限オートマトンの遷移
%
 
'言語(a*b)*を受理する非決定性有限オートマトン'(_記号ならび) :-
        '言語(a*b)*初期状態'(_状態),
        '言語(a*b)*を受理する非決定性有限オートマトン'(_状態,_記号ならび).
 
'言語(a*b)*を受理する非決定性有限オートマトン'(_状態,[_記号|R]) :-
        '言語(a*b)*'(_状態,_記号,_状態_1),
        '言語(a*b)*を受理する非決定性有限オートマトン'(_状態_1,R).
'言語(a*b)*を受理する非決定性有限オートマトン'(_状態,[]) :-
        '言語(a*b)*終了状態'(_状態).
 
'言語(a*b)*'(状態_0,a,状態_1).
'言語(a*b)*'(状態_1,b,状態_0).
'言語(a*b)*'(状態_1,C,状態_1) :-
        \+(C = b).

'言語(a*b)*初期状態'(状態_0).

'言語(a*b)*終了状態'(状態_0).