База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 123
C55
Chomsky, N.
Three models for the description of language [Электронный ресурс] / N. Chomsky. - [S. l.] : Cambridge, S. a. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
abstract -- introduction -- derived transformation
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
H75
Holcombe, W. M.
Algebraic automata theory [Электронный ресурс] / W. M. Holcombe. - [S. l.] : Cambridge university press, 1982. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
relations -- products -- gpoups -- state machines -- decompositions
I-60
Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic
J35
Jean-Paul, Allouche.
Automatic sequences [Электронный ресурс] / Allouche Jean-Paul. - [S. l. : s. n.], 2003. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
words -- exercises -- numeration -- systems -- automatic sequences
L92
Lothaire, H.
Applied combinatorics on words [Электронный ресурс] : научное издание / H. Lothaire. - [S. l. : s. n.], 2004. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
words -- algorithms -- pattern matching -- transducers -- parsing -- symbolic natural
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
S17
Salomaa, A.
Computation and automata [Электронный ресурс] / A. Salomaa. - New York : [s. n.], 1985. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
models of computation -- grammars -- L sistems -- criptography
T84
Tree automata techniques and applications [Электронный ресурс]. - [S. l. : s. n.], 2008. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
intoduction -- semantics -- terms and sorts -- surveys
А15
Абламейко, С. В
Краткий курс истории вычислительной техники и информатики [Электронный ресурс] : учебное пособие / С.В Абламейко, И.А Новик, Н.В Бровка. - Минск : БГУ, 2014. - 183 с. - Б. ц.
Рубрики: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
становление информатики как науки -- предыстория информатики -- история создания первых компьютеров -- последующие поколения компьютеров -- разработка калькуляторов и мини-компьютеров
Доп.точки доступа:
Новик, И.А
Бровка, Н.В
Беті 1, Нәтижелерін: 123