Sciweavers

213 search results - page 17 / 43
» Relating Word and Tree Automata
Sort
View
CORR
2010
Springer
125views Education» more  CORR 2010»
13 years 7 months ago
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
Mikolaj Bojanczyk, Luc Segoufin
ESSLLI
1999
Springer
13 years 11 months ago
Towards Discontinuous Grammar
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
Matthias T. Kromann
JUCS
2002
123views more  JUCS 2002»
13 years 7 months ago
Synchronization and Stability of Finite Automata
: Let G = (V, E) be a strongly connected and aperiodic directed graph of uniform out-degree k. A deterministic finite automaton is obtained if the edges are colored with k colors i...
Jarkko Kari
IPL
2002
74views more  IPL 2002»
13 years 7 months ago
Restricted rotation distance between binary trees
Restricted rotation distance between pairs of rooted binary trees measures differences in tree shape and is related to rotation distance. In restricted rotation distance, the rota...
Sean Cleary
CONTEXT
2007
Springer
14 years 1 months ago
Thai Text Coherence Structuring with Coordinating and Subordinating Relations for Text Summarization
Text summarization with the consideration of coherence can be achieved by using discourse processing with the Rhetorical Structure Theory (RST). Additional problems on relational a...
Thana Sukvaree, Asanee Kawtrakul, Jean Caelen