yago-miranda-12-avatar

Linguagens Formais e Autômatos

Desenhe um diagrama de estados para um AFD de duas fitas que aceite todos os pares de cadeias (w1, w2) em {a, b, c}* x {a, b, c}* tais que | w2 | seja duas vezes o nº de a’s, mais duas vezes o nº de b’s, mais três vezes o nº de c’s contidos em w1.
0%