Special Issue on Implementation and Application of Automata — CIAA 2004
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Kai Salomaa, Sheng Yu
Special Issue on Implementation and Application of Automata — CIAA 2004
CIAA, 2005.

no DBLP info
Full names Links ISxN
	editor        = "Kai Salomaa and Sheng Yu",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 3,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Implementation and Application of Automata — CIAA 2004}",
	volume        = 16,
	year          = 2005,

Contents (11 items)

CIAA-J-2004-AllauzenMR05 #algorithm #design #library
The design principles and algorithms of a weighted grammar library (CA, MM, BR), pp. 403–421.
CIAA-J-2004-BordihnHK05 #context-free grammar #problem #subclass
Unsolvability levels of operation problems for subclasses of context-free languages (HB, MH, MK), pp. 423–440.
Brute force determinization of nfas by means of state covers (JMC, FC, TP), pp. 441–451.
CIAA-J-2004-DaleyM05 #formal method #modelling
Formal modelling of viral gene compression (MD, IM), pp. 453–469.
CIAA-J-2004-GeserHWZ05 #automaton #finite #string #term rewriting #termination
Finding finite automata that certify termination of string rewriting systems (AG, DH, JW, HZ), pp. 471–486.
CIAA-J-2004-HanMZ05 #approach #automaton #database #sequence
An automata approach to match gapped sequence tags against protein database (YH, BM, KZ), pp. 487–497.
CIAA-J-2004-HanW05 #automaton
The generalization of generalized automata: expression automata (YSH, DW), pp. 499–510.
CIAA-J-2004-JirasekJS05 #complexity
State complexity of concatenation and complementation (JJ, GJ, AS), pp. 511–529.
Operations on trajectories with applications to coding and bioinformatics (LK, SK, PS), pp. 531–546.
CIAA-J-2004-KrawetzLS05 #complexity #finite #monad #set
State complexity and the monoid of transformations of a finite set (BK, JL, JS), pp. 547–563.
CIAA-J-2004-Yli-Jyra05 #approximate #dependence #regular expression
Approximating dependency grammars through intersection of star-free regular languages (AYJ), pp. 565–579.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.