An Infinite Proper Subset of Regular Languages as a State Change Based Coupling of Finite Automata

被引：0

作者：

Cevik, Ahmet ^{[1
]}

Kilic, Hurevren ^{[2
]}

机构：

[1] Middle East Tech Univ, Dept Philosophy, TR-06800 Ankara, Turkey

[2] Gediz Univ, Dept Comp Engn, TR-35665 Izmir, Turkey

来源：

WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2015, VOL I | 2015年

关键词：

Run-time attributes; state change languages; regular languages; finite automata; IDENTIFICATION; LIMIT; MODEL;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce an infinite proper subset of regular languages (RL), so called the state change couple of finite automata (FA). The execution time state change behavior of FA is shown to be modelled as state automata (SA). For our purpose, we define a unary operator whose domain is FA and range is SA. The new language class obtained by applying the operator on FA is called state change languages (SCL). We show that SCL is closed under union, but not under complementation, homomorphism and inverse homomorphism. We also investigate the properties of SA with empty string transitions. The work given here can be considered as a basis for analyzing the language class properties of the runtime attributes of basic computational models.

引用

页码：55 / 58

页数：4