La qüestió de si els llenguatges regulars són equivalents a les màquines d'estats finits (FSM) és un tema fonamental en la teoria de la computació, una branca de la informàtica teòrica. Per abordar aquesta pregunta de manera exhaustiva, és fonamental considerar les definicions i propietats tant dels llenguatges regulars com de les màquines d'estats finits, i explorar les connexions.