Sciweavers

762 search results - page 23 / 153
» Intercode Regular Languages
Sort
View
FCT
2001
Springer
13 years 12 months 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
JALC
2008
72views more  JALC 2008»
13 years 7 months ago
Maximal Error-Detecting Capabilities of Formal Languages
A combinatorial channel is a set of pairs of words describing all the possible input-output channel situations. We introduce the concept "maximal error-detecting capability&q...
Stavros Konstantinidis, Pedro V. Silva
TIME
2002
IEEE
14 years 9 days 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 7 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 1 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