نتائج البحث

A Naturally-Colored Translation from LTL to Parity and COCOA

• Authors : Ehlers, Rüdiger; Khalimov, Ayrat

Subjects: Computer Science - Formal Languages and Automata Theory

تفاصيل العنوان

Row monomial matrices and \v{C}erny conjecture, short proof

• Authors : Trahtman, A. N.

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Discrete Mathematics; 05C50, 68R10, 05C85

تفاصيل العنوان

The algebra of row monomial matrices

• Authors : Trahtman, A. N.

Subjects: Computer Science - Formal Languages and Automata Theory; 68R10, 03c05, 15-02; F.2.2

تفاصيل العنوان

Succinct Representation for (Non)Deterministic Finite Automata

• Authors : Chakraborty, Sankardeep; Grossi, Roberto; Sadakane, Kunihiko

Subjects: Computer Science - Data Structures and Algorithms; Computer Science - Discrete Mathematics; Computer Science - Formal Languages and Automata Theory

تفاصيل العنوان

Communicating Timed Processes with Perfect Timed Channels

• Authors : Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, S.

Subjects: Computer Science - Formal Languages and Automata Theory

تفاصيل العنوان

Succinct representation for (non)deterministic finite automata

• Authors : Sankardeep Chakraborty; Roberto Grossi; Kunihiko Sadakane ...

Subjects: FOS: Computer and information sciences; Succinct data structures; Deterministic finite automata

• Source: Lecture Notes in Computer Science ISBN: 9783030681944LATA 2021-15th International Conference on Language and Automata Theory and ApplicationsLATA 2021-15th International Conference on

تفاصيل العنوان

On Practical Regular Expressions

• Authors : Petersen, Holger

Subjects: Computer Science - Formal Languages and Automata Theory

تفاصيل العنوان

The length of a minimal synchronizing word and the \v{C}erny conjecture

• Authors : Trahtman, A. N.

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Discrete Mathematics; 68R10, 68R15, 90C35

تفاصيل العنوان

The length of a minimal synchronizing word and the ��erny conjecture

• Authors : A. N. Trahtman

Subjects: FOS: Computer and information sciences; Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

• Source: arXiv: Formal Languages and Automata Theory.

تفاصيل العنوان