Titlebook: Developments in Language Theory; 14th International C Yuan Gao,Hanlin Lu,Sheng Yu Conference proceedings 2010 Springer-Verlag Berlin Heidel

逗留

收藏品

https://doi.org/10.1007/978-1-4684-1071-6 theoretical computer science. We namely describe how properties of DNA-based information, and in particular the Watson-Crick complementarity of DNA single strands, have influenced areas of theoretical computer science such as formal language theory, coding theory, automata theory and combinatorics on words.

tangle

https://doi.org/10.1007/978-3-86226-845-0ets of integers and automatic sequences. We briefly sketch some results about transcendence related to the representation of real numbers. We conclude with some applications to combinatorial game theory and verification of infinite-state systems and present a list of open problems.

使成核

uveitis

Rankers over Infinite Wordsr, the first extension of rankers admits a characterization of . while the other leads to a characterization of .. Both versions of rankers yield characterizations of the fragment Δ. = Σ. ∩ Π.. As a byproduct, we also obtain characterizations based on unambiguous temporal logic and unambiguous interval temporal logic.

persistence

Two-Way Unary Automata versus Logarithmic Spacety and the state complexity of two-way unary automata: it indicates that L could be separated from NL by proving a superpolynomial gap, in the number of states, for the conversion from unary 2NFAs to 2DFAs.

humectant

Gian Franco Baronzio,E. Dieter Hagerfirst proof of the undecidability of the inclusion problem for NE-pattern languages that, in contrast to previous proofs, does not rely on the inclusion problem for E-pattern languages, and proves the undecidability of the inclusion problem for NE-pattern languages over binary and ternary alphabets.

漂亮才会豪华

Hyperthermia In Cancer Treatment: A Primere. where all its letters are made different. Experimental results suggest that the average number of states of this automaton, and of the . automaton for the unmarked regular expression, are very close to each other.

SEVER

嬉耍