Axiomatizing NFAs Generated by Regular Grammars
CoRR(2024)
摘要
A subclass of nondeterministic Finite Automata generated by means of regular
Grammars (GFAs, for short) is introduced. A process algebra is proposed, whose
semantics maps a term to a GFA. We prove a representability theorem: for each
GFA N, there exists a process algebraic term p such that its semantics is a
GFA isomorphic to N. Moreover, we provide a concise axiomatization of
language equivalence: two GFAs N_1 and N_2 recognize the same regular
language if and only if the associated terms p_1 and p_2, respectively, can
be equated by means of a set of axioms, comprising 6 axioms plus 2 conditional
axioms, only.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要