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

搭话

书目名称Developments in Language Theory影响因子(影响力)




书目名称Developments in Language Theory影响因子(影响力)学科排名




书目名称Developments in Language Theory网络公开度




书目名称Developments in Language Theory网络公开度学科排名




书目名称Developments in Language Theory被引频次




书目名称Developments in Language Theory被引频次学科排名




书目名称Developments in Language Theory年度引用




书目名称Developments in Language Theory年度引用学科排名




书目名称Developments in Language Theory读者反馈




书目名称Developments in Language Theory读者反馈学科排名

使闭塞

Undecidability and Hierarchy Results for Parallel Communicating Finite Automataany type of PCFAs under consideration. Moreover, it is proven that the number of automata in the system induces infinite hierarchies for deterministic and nondeterministic PCFAs in three working modes.

剥削

乞讨

The Complexity of Regular(-Like) Expressions expressions such as, e.g., membership, inequivalence, and non-emptiness of complement, and finally on the operation problem measuring the required size for transforming expressions with additional language operations (built-in or not) into equivalent ordinary regular expressions.

Harpoon

DNA Computing and Its Implications for Theoretical Computer Science 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.

上涨

Numeration Systems: A Link between Number Theory and Formal Language Theoryets 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.

上涨

Algorithmic Properties of Millstream Systemsdules and MSO logic as interface logic. We focus on the so-called completion problem: Given trees generated by a subset of the modules, can they be completed into a valid configuration of the Millstream system?

检查

Extricate

Genteel

Humanistic Psychology and Metapsychology, all subclasses corresponding to different notion of unambiguity and determinism define a hierarchy inside REC. Moreover we show that some definitions of unambiguity are equivalent to corresponding notions of determinism and therefore correspond decidable classes closed under complementation and linear parsing algorithms.