このディレクトリの索引
#          プログラム14.14: 言語(ab)* を受理するNDFA
#  
#                                 a             
#                    -------------------------->
#           状態_0                                 状態_1
#                    <--------------------------
#                                 b
#  
#                    図14.5: 簡単なオートマトン
#  


'言語(ab)*を受理する非決定性有限オートマトン'(_記号ならび) :-
        '言語(ab)*初期状態'(_状態),
        '言語(ab)*を受理する非決定性有限オートマトン'(_状態,_記号ならび).

'言語(ab)*を受理する非決定性有限オートマトン'(_状態,[_記号|R]) :-
        '言語(ab)*'(_状態,_記号,_状態_1),
        '言語(ab)*を受理する非決定性有限オートマトン'(_状態_1,R).
'言語(ab)*を受理する非決定性有限オートマトン'(_状態,[]) :-
        '言語(ab)*終了状態'(_状態).

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

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

'言語(ab)*'(状態_0,a,状態_1).
'言語(ab)*'(状態_1,b,状態_0).




%  
%  状態_0,状態_1 それぞれ状態集合のシンボルである。
%