База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 6
Отмеченные записи: 0
1.
Подробнее
E77
Esik, Z.
Recent advances in formal languages and applications [Электронный ресурс] / Z. Esik. - [S. l. : s. n.]. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
basic notation -- text searching -- combinatorial complexity -- modecular computation -- pestarting automata
E77
Esik, Z.
Recent advances in formal languages and applications [Электронный ресурс] / Z. Esik. - [S. l. : s. n.]. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
basic notation -- text searching -- combinatorial complexity -- modecular computation -- pestarting automata
2.
Подробнее
H75
Holcombe, W. M.
Algebraic automata theory [Электронный ресурс] / W. M. Holcombe. - [S. l.] : Cambridge university press, 1982. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
relations -- products -- gpoups -- state machines -- decompositions
H75
Holcombe, W. M.
Algebraic automata theory [Электронный ресурс] / W. M. Holcombe. - [S. l.] : Cambridge university press, 1982. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
relations -- products -- gpoups -- state machines -- decompositions
3.
Подробнее
I-60
Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic
I-60
Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic
4.
Подробнее
M92
Mucund, M.
Finite-state automata on infinite inputs [Электронный ресурс] / M. Mucund. - [S. l.] : Spic mathematical institute, 1996. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- limit languages -- constructions -- intersection -- projection -- atomic formulas
M92
Mucund, M.
Finite-state automata on infinite inputs [Электронный ресурс] / M. Mucund. - [S. l.] : Spic mathematical institute, 1996. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- limit languages -- constructions -- intersection -- projection -- atomic formulas
5.
Подробнее
S17
Salomaa, A.
Computation and automata [Электронный ресурс] / A. Salomaa. - New York : [s. n.], 1985. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
models of computation -- grammars -- L sistems -- criptography
S17
Salomaa, A.
Computation and automata [Электронный ресурс] / A. Salomaa. - New York : [s. n.], 1985. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
models of computation -- grammars -- L sistems -- criptography
6.
Подробнее
T84
Tree automata techniques and applications [Электронный ресурс]. - [S. l. : s. n.], 2008. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
intoduction -- semantics -- terms and sorts -- surveys
T84
Tree automata techniques and applications [Электронный ресурс]. - [S. l. : s. n.], 2008. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
intoduction -- semantics -- terms and sorts -- surveys
Беті 1, Нәтижелерін: 6