О множествах и автоматах с конечной памятью

Изучаются свойства множеств, представимых в таких автоматах, в которых выходная реакция в любой момент времени может быть определена по фиксированному числу прошлых входных воздействий, воздействию в данный момент и фиксированному числу прошлых выходных реакций.