Sciweavers

759 search results - page 11 / 152
» Overlap-Free Regular Languages
Sort
View
APLAS
2004
ACM
14 years 1 months ago
An Implementation of Subtyping Among Regular Expression Types
Kenny Zhuo Ming Lu, Martin Sulzmann
FCT
2001
Springer
14 years 28 days ago
Prediction-Preserving Reducibility with Membership Queries on Formal Languages
This paper presents the prediction-preserving reducibility with membership queries (pwm-reducibility) on formal languages, in particular, simple CFGs and finite unions of regular ...
Kouichi Hirata, Hiroshi Sakamoto
TIME
2002
IEEE
14 years 1 months ago
A Finite-State Approach to Event Semantics
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...
Tim Fernando
JUCS
2002
106views more  JUCS 2002»
13 years 8 months ago
Additive Distances and Quasi-Distances Between Words
: We study additive distances and quasi-distances between words. We show that every additive distance is finite. We then prove that every additive quasi-distance is regularity-pres...
Cristian Calude, Kai Salomaa, Sheng Yu
MFCS
2009
Springer
14 years 3 months ago
Synchronization of Regular Automata
Functional graph grammars are finite devices which generate the class of regular automata. We recall the notion of synchronization by grammars, and for any given grammar we consid...
Didier Caucal