Az a kérdés, hogy a reguláris nyelvek ekvivalensek-e a véges állapotú gépekkel (FSM), alapvető téma a számításelméletben, az elméleti számítástechnika egyik ágában. A kérdés átfogó megválaszolásához elengedhetetlen mind a reguláris nyelvek, mind a véges állapotú gépek definícióinak és tulajdonságainak figyelembe vétele, valamint az összefüggések feltárása.