On languages of automaton counter machines

Some properties of formal languages (ACML) of automaton counter machines are investigated. We show that a class of these languages is closed with respect to the following operations: union, intersection by regular sets, concatenation, infinite iteration (Kleene star), homomorphism and inverse homomo...

Full description

Saved in:
Bibliographic Details
Main Authors: E. V. Kuzmin, D. Ju. Chalyy
Format: Article
Language:English
Published: Yaroslavl State University 2010-06-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1029
Tags: Add Tag
No Tags, Be the first to tag this record!