Apr. 5th, 2003

katenok: (Default)
Есть язык L = {a^*} U {b^ja^k | j>=0, k=2^n n>=0} (j,n - целые числа). Он выполняет все условия pumping lemma (доказано), надо доказать, что он не context free Я думаю, что для этого надо доказать, что для него нельзя построить pushdown automaton Но как это доказать (мне не нужно доказательство, мне нужна идея)?
(извините за такую кашу из языков, я не знаю этих определений по-русски)
katenok: (Default)
В американских ВВС пилоты и механики часто общаются через записи в бортжурнале. После полета пилот записывает обнаруженные неисправности, механик реагирует на них и делает запись о проделанной работе. Иногда это выглядит примерно так...

Запрос: Левое внутреннее колесо основного шасси почти требует замены.
Ответ: Левое внутреннее колесо основного шасси почти заменено.
Read more... )

Profile

katenok: (Default)
katenok

April 2011

S M T W T F S
     1 2
3456789
10111213141516
17181920212223
24252627282930

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 11th, 2025 11:08 pm
Powered by Dreamwidth Studios