Representação em baixo de uma Máquina de Turing Ideal para representação de máquinas simples com poucos estados. Exemplo: L={ω∈{0,1}∗∣ωcomec¸a com b e tem uma quantidade par de a} Referências