20.11.2014 Views

Limbaje Formale, Automate şi Compilatoare

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Automatul determinist minimal<br />

Automat minimal<br />

Observaţii:<br />

Relatia ρ este relaţie de echivalenţă.<br />

∃a ∈ Σ : δ(p, a) sep δ(q, a) =⇒ p sep q.<br />

LFAC (2014-15) Curs 3 19 / 30

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!