Titlebook: Developments in Language Theory; 22nd International C Mizuho Hoshi,Shinnosuke Seki Conference proceedings 2018 Springer Nature Switzerland

eternal

书目名称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读者反馈学科排名

induct

泥瓦匠

A Brief Excursion to Parity Games,terms of running time, this is currently the most efficient algorithm that solves the parity games problem. The goal of this lecture is to give a brief background to the problem and present the algorithm in a somewhat informal way with a bit more emphasis on ideas rather than formal details.

IVORY

难取悦

广口瓶

Weak Cost Register Automata Are Still Powerful, using . and increments. We show that this model can simulate, in some sense, the runs of counter machines with zero-tests. We deduce that a number of problems pertaining to that model are undecidable, in particular equivalence, disproving a conjecture of Alur et al. from 2012. To emphasize how weak

广口瓶

From Two-Way Transducers to Regular Function Expressions,word functions, characterized by means of (functional, or unambiguous, or deterministic) two-way transducers, copyless streaming string transducers, and MSO-definable graph transformations. A fundamental result in language theory is Kleene’s Theorem, relating finite state automata and regular expres

压迫

Decidability of Right One-Way Jumping Finite Automata,ne-way jumping finite automata (ROWJFA), a variant of jumping automata, which is an automaton model for discontinuous information processing. Here we focus on decision problems for ROWJFAs. It turns out that most problems such as, e.g., emptiness, finiteness, universality, the word problem and varia

胆大

Tree-to-Graph Transductions with Scope, representations. These are graphs in which nodes encode concepts and edges relations. Node-sharing is common, and cycles occur. We show that the required structures can be generated through the combination of (i) a regular tree grammar, (ii) a sequence of linear top-down tree transducers, and (iii)

MAG