[Algoritmi] Automa Stati Finiti Deterministico

[gda2]

Sia $L = {a^i b^j in {a,b}^** : (EE k>= 0 : i + j = 2k )}$

cioè ab,aabb $in L$ e abb $notin L$

definire un automa deterministico -> L(A)=L


--->Q0----a--->Q1-----b---->q2(final)

così riconosce solo ab

come potrei procedere trovo difficolta nel "contare" uguale numero di a e di b

grazie

[apatriarca]

La principale strategia per riuscire a risolvere questo tipo di esercizi consiste nel comprendere meglio quello che si deve risolvere e in qualche modo ridefinirlo in modo più semplice. In questo caso mi viene per esempio in mente che la somma di due numeri è pari se i due numeri sono o entrambi pari o entrambi dispari. Questo mi sembra un esempio di osservazione che si può trasformare (ma non ci ho provato) in un automa deterministico per risolvere l'esercizio.

[gda2]

come rimpiazzo questa cosa infinita con un ciclo???

grazie @apatriarca

[apatriarca]

Non riesco a vedere il legame tra l'esercizio e il tuo automa. Come hai interpretato \(L\)?