UMLV 665 a = ( Q, A, i, T, Qétatsensemble fini Aalphabetensemble fini i état initiali Q Tétats terminauxT Q fonction de transition : Q x A Q L ( a ) =
