Представление автоматов группами. II

Анотація

Одержано необхідні та достатні умови, при яких зображення абстрактних автоматів скінченними групами погоджено з функцією переходів автомата. Одержано достатні умови, при яких відображення вільної півгрупи автомата у групу, що здійснюється компонентою зображення, є гомоморфізмом.