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

槍支

Abdullah Al Mahmud,Suleman Shahid,Omar Mubinuages can be accepted by ROWJFAs is decidable, too. On the other hand, we prove that for (linear) context-free languages the corresponding ROWJFA acceptance problem becomes undecidable. Moreover, we also discuss some complexity results for the considered decision problems.

公司

無(wú)所不知

From Two-Way Transducers to Regular Function Expressions, transducers to regular function expressions extending the Brzozowski and McCluskey algorithm. In addition, we identify a subset of regular function expressions characterizing the (strict) subclass of functional sweeping transducers.

Oration

Decidability of Right One-Way Jumping Finite Automata,uages can be accepted by ROWJFAs is decidable, too. On the other hand, we prove that for (linear) context-free languages the corresponding ROWJFA acceptance problem becomes undecidable. Moreover, we also discuss some complexity results for the considered decision problems.

Meditative

J. Brian Pickering,Vegard Engen,Paul Wallandinvertibility, a property related to the implementation of an efficient inversion procedure. We show that the BWT and the Alternating BWT are the only rank-invertible transformations in the class we have defined.

花費(fèi)

cancellous-bone

反叛者

Azizi Ab Aziz,Michel C. A. KleinWe prove some new theorems in additive number theory, using novel techniques from automata theory and formal languages. As an example of our method, we prove that every natural number >25 is the sum of at most three natural numbers whose base-2 representation has an equal number of 0’s and 1’s.

享樂(lè)主義者

forthy

Lecture Notes in Computer ScienceThe problem of the commutative equivalence of context-free and regular languages is studied. In particular conditions ensuring that a context-free language of exponential growth is commutatively equivalent with a regular language are investigated.