Unary Self-verifying Symmetric Difference Automata

DOI10.1007/978-3-319-41114-9_14zbMATH Open1476.68134OpenAlexW2486953598MaRDI QIDQ2829981FDOQ2829981

Authors: Laurette Marais, Lynette van Zijl 

Publication date: 9 November 2016

Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01633957/file/416473_1_En_14_Chapter.pdf

Recommendations

• Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata
• scientific article; zbMATH DE number 7444008
• Structurally Unambiguous Finite Automata
• scientific article; zbMATH DE number 4094825
• Unambiguous automata
• Ambiguity of unary symmetric difference NFAs
• Unambiguous finite automata over a unary alphabet
• Unambiguous finite automata over a unary alphabet
• Some results on the structure of unary unambiguous automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Title not available (Why is that?)
• Pairs of complementary unary languages with ``balanced nondeterministic automata
• Optimal simulation of self-verifying automata by deterministic automata
• An upper bound for transforming self-verifying automata into deterministic ones
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimal DFA for Symmetric Difference NFA
• Compact Normal Form for Regular Languages as Xor Automata

Cited In (3)

• Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata
• Optimal simulation of self-verifying automata by deterministic automata
• Title not available (Why is that?)

This page was built for publication: Unary Self-verifying Symmetric Difference Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829981)