b'\n_START_ARTICLE_\nAut\xc3\xb4mato finito n\xc3\xa3o determin\xc3\xadstico generalizado\n_START_PARAGRAPH_\nNa Teoria da computa\xc3\xa7\xc3\xa3o, um aut\xc3\xb4mato finito n\xc3\xa3o determin\xc3\xadstico generalizado (AFNG), tamb\xc3\xa9m conhecido como aut\xc3\xb4mato de express\xc3\xa3o ou m\xc3\xa1quina de estados finita n\xc3\xa3o determin\xc3\xadstica generalizada \xc3\xa9 uma varia\xc3\xa7\xc3\xa3o do AFN onde cada transi\xc3\xa7\xc3\xa3o \xc3\xa9 rotulada por alguma express\xc3\xa3o regular. O AFNG l\xc3\xaa blocos de s\xc3\xadmbolos da entrada, os quais constituem uma cadeia definida pela express\xc3\xa3o regular associada \xc3\xa0 transi\xc3\xa7\xc3\xa3o. Existem diversas diferen\xc3\xa7as entre uma m\xc3\xa1quina de estados finita usual e uma m\xc3\xa1quina de estados finita n\xc3\xa3o determin\xc3\xadstica generalizada. Um AFNG deve possuir apenas um estado inicial e um estado de aceita\xc3\xa7\xc3\xa3o, e estes n\xc3\xa3o podem ser o mesmo estado, enquanto que AFNs ou AFDs podem ambos ter v\xc3\xa1rios estados de aceita\xc3\xa7\xc3\xa3o, e o estado inicial pode ser de aceita\xc3\xa7\xc3\xa3o. Um AFNG deve possuir apenas uma transi\xc3\xa7\xc3\xa3o entre quaisquer dois estados, enquanto que AFNs ou AFDs permitem ambos muitas transi\xc3\xa7\xc3\xb5es entre estados. Em um AFNG, um estado possui uma \xc3\xbanica transi\xc3\xa7\xc3\xa3o para cada um dos outros estados da m\xc3\xa1quina, embora frequentemente seja uma conven\xc3\xa7\xc3\xa3o ignorar as transi\xc3\xa7\xc3\xb5es que s\xc3\xa3o rotuladas com o conjunto vazio no desenho de m\xc3\xa1quinas de estados finitas n\xc3\xa3o determin\xc3\xadsticas generalizadas.'