The well-known algorithm of Zielonka describes how to transform automatically a sequential automaton into a deterministic asynchronous trace automaton. In this paper, we improve the construction of deterministic asynchronous automata from finite state automaton. Our construction improves the well-known construction in that the size of the asynchronous automaton is simply exponential in both the...

For a givenweighted finite automaton over a strong bimonoid we construct its reducedNerode automaton, which is crisp-deterministic and equivalent to the original weighted automaton with respect to the initial algebra semantics.We show that the reducedNerode automaton is even smaller than theNerode automaton, which was previously used in determinization related to this semantics. We determine ne...

In this paper, we introduce generalized directable fuzzy automaton and discuss their structural characterizations. We have shown that a generalized directable fuzzy automaton is an extension of a uniformly monogenically strongly directable fuzzy automaton by a uniformly monogenically trap-directable fuzzy automaton and obtain other equivalent conditions for a generalized directable fuzzy automa...

½¼ Service Abstract Automaton Concrete Service Auxiliary Automaton Abstract Service Automaton

We consider weighted finite automata over strong bimonoids, where these weight structures can be considered as semirings which might lack distributivity. Then, in general, the well-known run semantics, initial algebra semantics, and transition semantics of an automaton are different. We prove an algebraic characterization for the initial algebra semantics in terms of stable finitely generated s...

The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements

This paper provides a description of the algorithms employed by the Warwick Automata package for calculating the nite state automata associated with a short-lex automatic group. The aim is to provide an overview of the whole process, rather than concentrating on technical details, which have been already been published elsewhere. A number of related programs are also described.

There exist several methods of computing an automaton recognizing the language denoted by a given regular expression: In the case of words, ones can compute the position automaton P due to Glushkov, the c-continuation automaton C due to Champarnaud and Ziadi, the follow automaton F due to Illie and Yu and the equation automaton E due to Antimirov. It has been shown that P and C are isomorphic a...