搭话
发表于 2025-3-21 18:20:36
书目名称Developments in Language Theory影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0270231<br><br> <br><br>书目名称Developments in Language Theory读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0270231<br><br> <br><br>
使闭塞
发表于 2025-3-21 20:35:00
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.
剥削
发表于 2025-3-22 02:57:54
http://reply.papertrans.cn/28/2703/270231/270231_3.png
乞讨
发表于 2025-3-22 06:31:08
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
发表于 2025-3-22 09:30:11
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.
上涨
发表于 2025-3-22 13:08:36
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.
上涨
发表于 2025-3-22 18:45:59
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?
检查
发表于 2025-3-22 23:30:25
http://reply.papertrans.cn/28/2703/270231/270231_8.png
Extricate
发表于 2025-3-23 03:30:42
http://reply.papertrans.cn/28/2703/270231/270231_9.png
Genteel
发表于 2025-3-23 05:54:10
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.