Algoritmo di Thompson: differenze tra le versioni

Versione delle 15:25, 14 giu 2014

Versione delle 04:22, 22 giu 2014

Riga 7:

Con <math>N(e)</math> rappresentiamo l'NFA equivalente all'espressione regolare '''e'''.

L' '''espressione <math>e=\varepsilon</math>''' è rappresentata da

[[File:Thompson-epsilon.svg|inline]]

Riga 15:

[[File:Thompson-a-symbol.svg|inline]]

L' '''espressione ottenuta dall'unione di due sottoespressioni <math>e=s|t</math>''' è convertita da

[[File:thompson-or.svg|inline]]

Riga 21:

Lo stato <math>q</math> va tramite un' <math>\varepsilon</math>-transazione in uno stato iniziale di <math>N(s)</math> o <math>N(t)</math>. I loro stati finali divengono intermedi e si uniscono per mezzo di <math>\varepsilon</math>-transazioni nello stato finale di N(e) chiamato <math>f</math>.

L' '''espressione formata dalla concatenazione di due sottoespressioni''' <math>e=st</math> si converte con

[[File:thompson-concat.svg|inline]]

Riga 34:

== Bibliografia ==

*[http://dl.acm.org/citation.cfm?doid=363347.363387 Programming Techniques: Regular expression search algorithm]

{{Voci isolate}}