Intuitivt består en automat av en styrenhet som momentant befinner sig i ett av ett ändligt antal tillstånd och betraktar en symbol ur ett ändligt alfabet; ett minne kan också vara anknutet. Givna regler anger, beroende på aktuellt tillstånd och betraktad symbol (och ev. minnesstatus), tillåtna