Полный англо-русский словарь
Автоматная грамматика; конечно-автоматная грамматика; грамматика с конечным числом состояний