Titlebook: Implementation and Application of Automata; 20th International C Frank Drewes Conference proceedings 2015 Springer International Publishing

constellation

Automata and Logics for Concurrent Systems: Five Models in Five PagesWe survey various automata models of concurrent systems and their connection with monadic second-order logic: finite automata, class memory automata, nested-word automata, asynchronous automata, and message-passing automata.

Ruptured-Disk

Hardware Implementations of Finite Automata and Regular ExpressionsThis extended abstract sketches some of the most recent advances in hardware implementations (and surrounding issues) of finite automata and regular expressions.

鐵塔等

一罵死割除

Cognizance

978-3-319-22359-9Springer International Publishing Switzerland 2015

神化怪物

investigate

GORGE

Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automatalgorithm to randomly generate a pushdown automaton having a fixed stack operations total size is proposed. The influence of the accepting condition (empty stack, final state) on the reachability of the generated automata is investigated.

靦腆

From Two-Way to One-Way Finite Automata—Three Regular Expression-Based Methods methods yield relatively simple techniques to directly construct one-way automata that simulate the behavior of two-way automata. The approaches also offer conceptually uncomplicated alternative equivalence proofs of two-way automata and one-way automata, particularly in the deterministic case.

充氣女

The Role of Foreign Investment in the Russian Internet to intensive one, that is based on computer networks, forming the information space. Such a transition will increase an economic role of the information, will change the structure of the market and the character of market balance formation.