Results 1  10
of
899
A Kleene Theorem for Timed Automata
, 1997
"... In this paper we define timed regular expressions, an extension of regular expressions for specifying sets of densetime discretevalued signals. We show that this formalism is equivalent in expressive power to the timed automata of Alur and Dill by providing a translation procedure from expressions ..."
Abstract

Cited by 62 (4 self)
 Add to MetaCart
to automata and vice versa. The result is extended to !regular expressions (B uchi's theorem). 1. Introduction Timed automata, i.e. automata equipped with clocks [AD94], have been studied extensively in recent years as they provide a rigorous model for reasoning about the quantitative temporal aspects
A completeness theorem for Kleene algebras and the algebra of regular events
 Information and Computation
, 1994
"... We givea nitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa's axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras. 1 ..."
Abstract

Cited by 251 (27 self)
 Add to MetaCart
We givea nitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa's axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras. 1
A Probabilistic Kleene Theorem
, 2012
"... We provide a Kleene Theorem for (Rabin) probabilistic automata over finite words. Probabilistic automata generalize deterministic finite automata and assign to a word an acceptance probability. We provide probabilistic expressions with probabilistic choice, guarded choice, concatenation, and a sta ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We provide a Kleene Theorem for (Rabin) probabilistic automata over finite words. Probabilistic automata generalize deterministic finite automata and assign to a word an acceptance probability. We provide probabilistic expressions with probabilistic choice, guarded choice, concatenation, and a
A Kleene theorem for weighted tree automata
 Theory of Computing Systems
, 2002
"... In this paper we prove Kleene's result for tree series over a commutative and idempotent semiring A (which is not necessarily complete or continuous), i.e., the class of recognizable tree series over A and the class of rational tree series over A are equal. We show the result by direct automata ..."
Abstract

Cited by 21 (7 self)
 Add to MetaCart
In this paper we prove Kleene's result for tree series over a commutative and idempotent semiring A (which is not necessarily complete or continuous), i.e., the class of recognizable tree series over A and the class of rational tree series over A are equal. We show the result by direct
Languages, Automata and Logic
, 1996
"... This paper is a survey on logical aspects of finite automata. Central points are the connection between finite automata and monadic secondorder logic, the EhrenfeuchtFraisse technique in the context of formal language theory, finite automata on !words and their determinization, and a selfcontain ..."
Abstract

Cited by 237 (5 self)
 Add to MetaCart
This paper is a survey on logical aspects of finite automata. Central points are the connection between finite automata and monadic secondorder logic, the EhrenfeuchtFraisse technique in the context of formal language theory, finite automata on !words and their determinization, and a self
A Kleene Theorem and Model Checking Algorithms for Existentially Bounded Communicating Automata
 INFORMATION AND COMPUTATION 204:920–956
, 2006
"... The behavior of a network of communicating automata is called existentially bounded if communication events can be scheduled in such a way that the number of messages in transit is always bounded by a value that depends only on the machine, not the run itself. We show a Kleene theorem for existentia ..."
Abstract

Cited by 27 (7 self)
 Add to MetaCart
The behavior of a network of communicating automata is called existentially bounded if communication events can be scheduled in such a way that the number of messages in transit is always bounded by a value that depends only on the machine, not the run itself. We show a Kleene theorem
Kleene Theorems for Synchronous Products with Matching
"... In earlier work [LMP11], we showed that a graphtheoretic condition called “structural cyclicity” enables us to extract syntax from a conflictequivalent product system of automata. In this paper we have a “pairing” property in our syntax which allows us to connect to a broader class of synchronou ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In earlier work [LMP11], we showed that a graphtheoretic condition called “structural cyclicity” enables us to extract syntax from a conflictequivalent product system of automata. In this paper we have a “pairing” property in our syntax which allows us to connect to a broader class
A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids
, 2007
"... Abstract: Kleene's theorem on the equivalence of recognizability and rationality for formal tree series over distributive multioperator monoids is proved. As a consequence of this, Kleene's theorem for weighted tree automata over arbitrary, i.e., not necessarily commutative, semirings is d ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract: Kleene's theorem on the equivalence of recognizability and rationality for formal tree series over distributive multioperator monoids is proved. As a consequence of this, Kleene's theorem for weighted tree automata over arbitrary, i.e., not necessarily commutative, semirings
Concatenation and Kleene Star on Deterministic Finite Automata
"... Abstract—This paper presents direct, explicit algebraic constructions of concatenation and Kleene star on deterministic finite automata (DFA), using the Booleanmatrix method of Zhang [5] and ideas of Kozen [2]. The consequence is trifold: (1) it provides an alternative proof of the classical Kleene ..."
Abstract
 Add to MetaCart
Kleene’s Theorem on the equivalence of regular expressions and DFAs without using nondeterministic finite automata (NFA); (2) it demonstrates how the language constructions of concatenation and Kleene star can be captured elegantly as algebraic laws in the form of “binomial theorems; ” (3) it provides a
Nominal Kleene Coalgebra
, 2015
"... We develop the coalgebraic theory of nominal Kleene algebra, including an alternative languagetheoretic semantics, a nominal extension of the Brzozowski derivative, and a bisimulationbased decision procedure for the equational theory. ..."
Abstract
 Add to MetaCart
We develop the coalgebraic theory of nominal Kleene algebra, including an alternative languagetheoretic semantics, a nominal extension of the Brzozowski derivative, and a bisimulationbased decision procedure for the equational theory.
Results 1  10
of
899