Концептуальные и абстрактные конечные автоматы