Н. Н. Иванов, Г. И. Михайлов, В. В. Руднев, А. А. Таль, “Языки эквивалентных преобразований обобщенного типа”, Автомат. и телемех., 1976, выпуск 5,страницы 140

Автоматы

Языки эквивалентных преобразований обобщенного типа

Н. Н. Иванов, Г. И. Михайлов, В. В. Руднев, А. А. Таль

Москва

Аннотация: Рассматривается язык эквивалентных преобразований (ЯЭП) наиболее общего вида. Язык дает возможность непосредственно описывать явное отношение эквивалентности, а потому описание регулярного множества на таком языке наиболее компактно по сравнению с описаниями на ЯЭП других типов.

УДК: 681.3.06

Поступила в редакцию: 17.02.1975