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

@proceedings{CIAA-J-2004,
	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)

3 ×#automaton
2 ×#complexity
2 ×#finite

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.

CIAA-J-2004-ChamparnaudCP05

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.

CIAA-J-2004-KariKS05

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.