The word position automaton was introduced by Glushkov and McNaughton in the early 1960. This automaton is homogeneous and has (||\E||+1) states for a word expression of alphabetic width ||\E||. This kind of automata is extended to regular tree expressions.
In this paper, we give an efficient algorithm that computes the \Follow sets, which are used in different algorithms of conversion of a regular expression into tree automata. In the following, we consider the k-position tree automaton construction. We prove that for a regular expression \E of a size |\E| and alphabetic width ||\E||, the \Follow sets can be computed in O(||\E||\cdot |\E|) time complexity.
In this paper, we extend the notion of (word) derivatives and partial derivatives due to (respectively) Brzozowski and Antimirov to tree derivatives using already known inductive formulae of quotients. We define a new family of extended regular tree expressions (using negation or intersection operators), and we show how to compute a Brzozowski-like inductive tree automaton; the fixed point of this construction, when it exists, is the derivative tree automaton. Such a deterministic tree automaton can be used to solve the membership test efficiently: the whole structure is not necessarily comput…
It is well known that for a regular tree language it is decidable whether or not it can be recognized by a deterministic top-down tree automaton (DTA). However, the computational complexity of this problem has not been studied. We show that for a given deterministic bottom-up tree automaton it can be decided in quadratic time whether or not its language can be recognized by a DTA. Since there are finite tree languages that cannot be recognized by DTAs, we also consider finite unions of \DTAs and show that also here, definability within deterministic bottom-up tree automata is decidable in quad…
A deterministic finite automaton in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize such automata in terms of graphs and trees.
The HOM problem, which asks whether the image of a regular tree language under a given tree homomorphism is again regular, is known to be decidable [Godoy & Giménez: The HOM problem is decidable. JACM 60(4), 2013]. However, the problem remains open for regular weighted tree languages. It is demonstrated that the main notion used in the unweighted setting, the tree automaton with equality and inequality constraints, can straightforwardly be generalized to the weighted setting and can represent the image of any regular weighted tree language under any nondeleting and nonerasing tree homomorphism…
Construction of fuzzy automata from fuzzy regular expressions
Li和Pedrycz [Y. M. Li，W. Pedrycz，Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoid，Fuzzy Sets and Systems 156（2005）68- 92]已经证明了基本结果，这些结果提供了在格序monoid中表示具有隶属值的模糊语言的不同等价方式，并且推广了形式语言的经典理论的众所周知的结果。特别是，他们已经证明，一个模糊语言的整体格序幺半群可以表示为模糊正则表达式，当且仅当它可以识别的模糊有限自动机。然而，他们没有给出任何有效的方法来构造一个等价的模糊有限自动机从一个给定的模糊正则表达式。在本文中，我们提供了这样一个有效的方法。通过将模糊正则表达式α中的标量变换为新的扩展字母表中的字母，将模糊正则表达式α转化为普通正则表达式α R。然后，从识别语言的任意非确定性有限自动机A开始，||α_R||用正则表达式α R表示，构造了模糊有限自动机A_α和A_α^r，它们的状态数与自动机A相同或更少，它们识别模糊语言||α||由模糊正则表达式α表示。起始的非确定性有限自动机A可以从α_R中使用任何一种众所周知的将正则表达式转换为非确定性有限自动机的构造来获得，例如Glushkov-McNaughton-Y…
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorithm to obtain a time-partitioned finite automaton from an STL specification, and introduce a multi-layered framework that utilizes this automaton to guide a sampling-based search tree both spatially and temporally. Our approach is able to synthesize a controller for nonlinear dynamics and polynomial predicate functions. We prove the correctness and probabilistic completeness of our algorithm, and illustrate the effici…
We show a new simple algorithm that checks whether a given higher-order grammar generates a nonempty language of trees. The algorithm amounts to a procedure that transforms a grammar of order n to a grammar of order n-1, preserving nonemptiness, and increasing the size only exponentially. After repeating the procedure n times, we obtain a grammar of order 0, whose nonemptiness can be easily checked. Since the size grows exponentially at each step, the overall complexity is n-EXPTIME, which is known to be optimal. More precisely, the transformation (and hence the whole algorithm) is linear in t…
Automata learning is a popular technique used to automatically construct an automaton model from queries. Much research went into devising ad hoc adaptations of algorithms for different types of automata. The CALF project seeks to unify these using category theory in order to ease correctness proofs and guide the design of new algorithms. In this paper, we extend CALF to cover learning of algebraic structures that may not have a coalgebraic presentation. Furthermore, we provide a detailed algorithmic account of an abstract version of the popular L* algorithm, which was missing from CALF. We in…
In this document, we propose a description, via a Haskell implementation, of a generalization of the notion of regular expression allowing us to group the definitions and the methods of (tree or word) automata constructions over one generic structure, based on enriched category theory tools. We first recall several methods of conversion from expressions to automata, enlightening the similarities between the words and trees cases. We then produce an original study of the power of enriched category theory applied 1) to automata and expressions implementation, and 2) to the study of associated al…
