Формальные языки и автоматы

Основные определения

Î ï ð å ä å ë å í è å. Алфавитом называется непустое конечное множество.

Цепочкой (строкой èëè словом ) над алфавитом S называется конечная

последовательность символов из S.

Формальные языки и автоматы

Основные определения

Î ï ð å ä å ë å í è å. Алфавитом называется непустое конечное множество.

Цепочкой (строкой èëè словом ) над алфавитом S называется конечная

последовательность символов из S.

ПримерПусть задан алфавит S = fa; bg.

abbba, baba цепочки над S.

Формальные языки и автоматы

Основные определения

jwj длина цепочки w.

Формальные языки и автоматы

Основные определения

jwj длина цепочки w.

Åñëè w = abbba, òî jwj = 5.

Формальные языки и автоматы

Основные определения

jwj длина цепочки w.

Åñëè w = abbba, òî jwj = 5.

e пустая цепочка.

Формальные языки и автоматы

Основные определения

jwj длина цепочки w.

Åñëè w = abbba, òî jwj = 5.

e пустая цепочка. Очевидно, jej = 0

Формальные языки и автоматы

Основные определения

jwj длина цепочки w.

Åñëè w = abbba, òî jwj = 5.

e пустая цепочка. Очевидно, jej = 0

Сцеплением(произведением èëè

конкантенацией) цепочек u и v называется цепочка w = uv, которая получается присоединением цепочки к концу цепочки u цепочки v.

Формальные языки и автоматы

Основные определения

jwj длина цепочки w.

Åñëè w = abbba, òî jwj = 5.

e пустая цепочка. Очевидно, jej = 0

Сцеплением(произведением èëè

конкантенацией) цепочек u и v называется цепочка w = uv, которая получается присоединением цепочки к концу цепочки u цепочки v.

Åñëè u = abbba, à v = bbab, òî

Формальные языки и автоматы

Основные определения

jwj длина цепочки w.

Åñëè w = abbba, òî jwj = 5.

e пустая цепочка. Очевидно, jej = 0

Сцеплением(произведением èëè

конкантенацией) цепочек u и v называется цепочка w = uv, которая получается присоединением цепочки к концу цепочки u цепочки v.

Åñëè u = abbba, à v = bbab, òî uv = abbbabbab.

Формальные языки и автоматы

Основные определения

S множество всевозможных цепочек над алфавитом S

S+ = S ne множество всех непустых цепочек над алфавитом S.

Формальные языки и автоматы