scholarly journals Two Extensions of Cover Automata

Axioms ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 338
Author(s):  
Cezar Câmpeanu
Keyword(s):  
Computational Complexity ◽  
Finite Automata ◽  
The State ◽  
Finite Cover ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Compact Representations ◽  
Minimization Algorithms ◽  
Deterministic Automata ◽  
Representation Transformation

Deterministic Finite Cover Automata (DFCA) are compact representations of finite languages. Deterministic Finite Automata with “do not care” symbols and Multiple Entry Deterministic Finite Automata are both compact representations of regular languages. This paper studies the benefits of combining these representations to get even more compact representations of finite languages. DFCAs are extended by accepting either “do not care” symbols or considering multiple entry DFCAs. We study for each of the two models the existence of the minimization or simplification algorithms and their computational complexity, the state complexity of these representations compared with other representations of the same language, and the bounds for state complexity in case we perform a representation transformation. Minimization for both models proves to be NP-hard. A method is presented to transform minimization algorithms for deterministic automata into simplification algorithms applicable to these extended models. DFCAs with “do not care” symbols prove to have comparable state complexity as Nondeterministic Finite Cover Automata. Furthermore, for multiple entry DFCAs, we can have a tight estimate of the state complexity of the transformation into equivalent DFCA.

STATE COMPLEXITY OF ADDITIVE WEIGHTED FINITE AUTOMATA

2007 ◽  
Vol 18 (06) ◽  
pp. 1407-1416 ◽  
Author(s):  
KAI SALOMAA ◽  
PAUL SCHOFIELD
Keyword(s):  
Upper Bound ◽  
Finite Automaton ◽  
Regular Language ◽  
Finite Automata ◽  
The State ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Weighted Finite Automata

It is known that the neighborhood of a regular language with respect to an additive distance is regular. We introduce an additive weighted finite automaton model that provides a conceptually simple way to reprove this result. We consider the state complexity of converting additive weighted finite automata to deterministic finite automata. As our main result we establish a tight upper bound for the state complexity of the conversion.

Descriptional Complexity of the Forever Operator

2019 ◽  
Vol 30 (01) ◽  
pp. 115-134 ◽  
Author(s):  
Michal Hospodár ◽  
Galina Jirásková ◽  
Peter Mlynárčik
Keyword(s):  
Regular Language ◽  
Finite Automata ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Descriptional Complexity ◽  
Trade Offs ◽  
Number Formula ◽  
Deterministic Automata ◽  
Initial States ◽  
Nondeterministic State

We examine the descriptional complexity of the forever operator, which assigns the language [Formula: see text] to a regular language [Formula: see text], and we investigate the trade-offs between various models of finite automata. We consider complete and partial deterministic finite automata, nondeterministic finite automata with single or multiple initial states, alternating, and Boolean finite automata. We assume that the argument and the result of this operation are accepted by automata belonging to one of these six models. We investigate all possible trade-offs and provide a tight upper bound for 32 of 36 of them. The most interesting result is the trade-off from nondeterministic to deterministic automata given by the Dedekind number [Formula: see text]. We also prove that the nondeterministic state complexity of [Formula: see text] is [Formula: see text] which solves an open problem stated by Birget [The state complexity of [Formula: see text] and its connection with temporal logic, Inform. Process. Lett. 58 (1996) 185–188].

scholarly journals Regular Expressions with Lookahead

2021 ◽  
Vol 27 (4) ◽  
pp. 324-340
Author(s):  
Martin Berglund ◽  
Brink van der Merwe ◽  
Steyn van Litsenborgh
Keyword(s):  
Finite Automata ◽  
The State ◽  
Regular Expressions ◽  
Deterministic Finite Automata ◽  
State Complexity

This paper investigates regular expressions which in addition to the standard operators of union, concatenation, and Kleene star, have lookaheads. We show how to translate regular expressions with lookaheads (REwLA) to equivalent Boolean automata having at most 3 states more than the length of the REwLA. We also investigate the state complexity when translating REwLA to equivalent deterministic finite automata (DFA).

NONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITY

2009 ◽  
Vol 20 (04) ◽  
pp. 563-580 ◽  
Author(s):  
MARKUS HOLZER ◽  
MARTIN KUTRIB
Keyword(s):  
Computational Complexity ◽  
Finite Automata ◽  
Size Estimation ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Nondeterministic Finite Automata ◽  
Vast Literature ◽  
Recent Developments ◽  
Big Picture ◽  
Main Ideas

Nondeterministic finite automata (NFAs) were introduced in [68], where their equivalence to deterministic finite automata was shown. Over the last 50 years, a vast literature documenting the importance of finite automata as an enormously valuable concept has been developed. In the present paper, we tour a fragment of this literature. Mostly, we discuss recent developments relevant to NFAs related problems like, for example, (i) simulation of and by several types of finite automata, (ii) minimization and approximation, (iii) size estimation of minimal NFAs, and (iv) state complexity of language operations. We thus come across descriptional and computational complexity issues of nondeterministic finite automata. We do not prove these results but we merely draw attention to the big picture and some of the main ideas involved.

State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages

2015 ◽  
Vol 26 (02) ◽  
pp. 211-227 ◽  
Author(s):  
Hae-Sung Eom ◽  
Yo-Sub Han ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Finite Automata ◽  
Constant Factor ◽  
The State ◽  
Regular Languages ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Binary Alphabet ◽  
Multiple Intersections

We investigate the state complexity of multiple unions and of multiple intersections for prefix-free regular languages. Prefix-free deterministic finite automata have their own unique structural properties that are crucial for obtaining state complexity upper bounds that are improved from those for general regular languages. We present a tight lower bound construction for k-union using an alphabet of size k + 1 and for k-intersection using a binary alphabet. We prove that the state complexity upper bound for k-union cannot be reached by languages over an alphabet with less than k symbols. We also give a lower bound construction for k-union using a binary alphabet that is within a constant factor of the upper bound.

The complexity of concatenation on deterministic and alternating finite automata

2018 ◽  
Vol 52 (2-3-4) ◽  
pp. 153-168
Author(s):  
Michal Hospodár ◽  
Galina Jirásková
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Open Problem ◽  
Finite Automata ◽  
The State ◽  
Regular Languages ◽  
Final States ◽  
State Complexity ◽  
Deterministic Automata

We study the state complexity of the concatenation operation on regular languages represented by deterministic and alternating finite automata. For deterministic automata, we show that the upper bound m2n − k2n−1 on the state complexity of concatenation can be met by ternary languages, the first of which is accepted by an m-state DFA with k final states, and the second one by an n-state DFA with ℓ final states for arbitrary integers m, n, k, ℓ with 1 ≤ k ≤ m − 1 and 1 ≤ ℓ ≤ n − 1. In the case of k ≤ m − 2, we are able to provide appropriate binary witnesses. In the case of k = m − 1 and ℓ ≥ 2, we provide a lower bound which is smaller than the upper bound just by one. We use our binary witnesses for concatenation on deterministic automata to describe binary languages meeting the upper bound 2m + n + 1 for the concatenation on alternating finite automata. This solves an open problem stated by Fellah et al. [Int. J. Comput. Math. 35 (1990) 117–132].

State Complexity of Insertion

2016 ◽  
Vol 27 (07) ◽  
pp. 863-878 ◽  
Author(s):  
Yo-Sub Han ◽  
Sang-Ki Ko ◽  
Timothy Ng ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Regular Language ◽  
Finite Automata ◽  
The State ◽  
Tight Bound ◽  
State Complexity ◽  
Nondeterministic State

It is well known that the resulting language obtained by inserting a regular language to a regular language is regular. We study the nondeterministic and deterministic state complexity of the insertion operation. Given two incomplete DFAs of sizes m and n, we give an upper bound (m+2)·2mn−m−1·3m and find a lower bound for an asymp-totically tight bound. We also present the tight nondeterministic state complexity by a fooling set technique. The deterministic state complexity of insertion is 2Θ(mn) and the nondeterministic state complexity of insertion is precisely mn+2m, where m and n are the size of input finite automata. We also consider the state complexity of insertion in the case where the inserted language is bifix-free or non-returning.

scholarly journals EFFICIENT DETERMINISTIC FINITE AUTOMATA SPLIT-MINIMIZATION DERIVED FROM BRZOZOWSKI'S ALGORITHM

2014 ◽  
Vol 25 (06) ◽  
pp. 679-696 ◽  
Author(s):  
PEDRO GARCÍA ◽  
DAMIÁN LÓPEZ ◽  
MANUEL VÁZQUEZ DE PARGA
Keyword(s):  
Computer Science ◽  
Finite Automata ◽  
Minimization Method ◽  
Deterministic Finite Automata ◽  
Classic Problem ◽  
Minimization Methods ◽  
Minimization Algorithms

Minimization of deterministic finite automata is a classic problem in Computer Science which is still studied nowadays. In this paper, we relate the different split-minimization methods proposed to date, or to be proposed, and the algorithm due to Brzozowski which has been usually set aside in any classification of DFA minimization algorithms. In our work, we first propose a polynomial minimization method derived from a paper by Champarnaud et al. We also show how the consideration of some efficiency improvements on this algorithm lead to obtain an algorithm similar to Hopcroft's classic algorithm. The results obtained lead us to propose a characterization of the set of possible splitters.

Operational Accepting State Complexity: The Unary and Finite Case

2019 ◽  
Vol 30 (06n07) ◽  
pp. 959-978
Author(s):  
Jürgen Dassow
Keyword(s):  
Finite Automata ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Finite Case ◽  
Number Formula

Let [Formula: see text] be the minimal number of accepting states which is sufficient for deterministic finite automata to accept [Formula: see text]. For a number [Formula: see text] and an [Formula: see text]-ary regularity preserving operation ∘, we define [Formula: see text] as the set of all integers [Formula: see text] such that there are [Formula: see text] languages [Formula: see text], [Formula: see text], with [Formula: see text] In this paper, we study these sets for the operations union, catenation, star, complement, set-subtraction, and intersection where we restrict to unary or finite or unary and finite languages [Formula: see text].

Sign in / Sign up

Export Citation Format

Share Document