Limbaje Formale, Automate şi Compilatoare
Automatul determinist minimal Exemplu LFAC (2014-15) Curs 3 29 / 30
Automatul determinist minimal Corectitudinea algoritmului Teorema 4 Algoritmul se termină întotdeauna şi în final se obţine, pentru orice două stări q i şi q j , 0 ≤ i < j ≤ n: separabil[q i , q j ] = 1 ddacă q i sep q j LFAC (2014-15) Curs 3 30 / 30
- Page 1 and 2: Limbaje Formale, Automate şi Compi
- Page 3 and 4: Automate finite cu ǫ-tranziţii Cu
- Page 5 and 6: Automate finite cu ǫ-tranziţii Ex
- Page 7 and 8: Automate finite cu ǫ-tranziţii Ex
- Page 9 and 10: Automate finite cu ǫ-tranziţii Ex
- Page 11 and 12: Automate finite cu ǫ-tranziţii Ex
- Page 13 and 14: Automate finite cu ǫ-tranziţii Au
- Page 15 and 16: Automate finite cu ǫ-tranziţii Au
- Page 17 and 18: Automate finite cu ǫ-tranziţii Ex
- Page 19 and 20: Gramatici de tip 3 şi automate fin
- Page 21 and 22: Automatul determinist minimal Curs
- Page 23 and 24: Automatul determinist minimal Stăr
- Page 25 and 26: Automatul determinist minimal Stăr
- Page 27 and 28: Automatul determinist minimal Autom
- Page 29 and 30: Automatul determinist minimal Autom
- Page 31 and 32: Automatul determinist minimal Autom
- Page 33 and 34: Automatul determinist minimal Algor
- Page 35 and 36: Automatul determinist minimal Algor
- Page 37 and 38: Automatul determinist minimal Algor
- Page 39 and 40: Automatul determinist minimal 9.for
- Page 41 and 42: Automatul determinist minimal Exemp
- Page 43 and 44: Automatul determinist minimal Exemp
- Page 45: Automatul determinist minimal Exemp
Automatul determinist minimal<br />
Corectitudinea algoritmului<br />
Teorema 4<br />
Algoritmul se termină întotdeauna <strong>şi</strong> în final se obţine, pentru orice<br />
două stări q i <strong>şi</strong> q j , 0 ≤ i < j ≤ n: separabil[q i , q j ] = 1 ddacă q i sep q j<br />
LFAC (2014-15) Curs 3 30 / 30