question from yesterday's finals

1. Is the language consisting of strings like “a”, “ab”, “aba”, “abab”, and so on, a regular language? Explain, why. If yes, the best answer would be to write a regex; you can also just describe the grammar. If not, just explain why.

2. A language is defined in BNF; determine the complexity of the machine you need to parse it: Finite State Machine, Stack Machine, Turing Machine, and explain your decision.
a)
<x> ::= (<y>+<z>)
<y> := a<y>
<y> := b<z>
<z> := c
<z> := d

b)
<x> ::= a<x>b<x>c
<x> ::= d

3. Given two binary relationship R: A<->B and S: B<->C, describe their composition, where
A = {all integers}, B = {all real numbers}, C = {all positive integer numbers}, aRb = (b == log2(a)), bSc = (b == c).

4. In the following example of using Δ schema in Z notation, explain the constraints:
AddBirthday ≘ [
Δ BirthdayBook;
name? : NAME;
date? : DATE;
|
name? ∉ known;
birthday′ = birthday ∪ {name? ↦ date?}
]

5. You already wrote the ping-pong game in pi-calculus, with two players. Now imagine there are 4 players, 2 on each side, A1,A2,B1,B2, and a couch that sends the signal to A1 which serves the ball (sends Ping); then one of B1 or B2 gets the Ping, and sends back a Pong; either A1 or A2 gets the Pong, and sends back a Ping. The game never stops. Write this scenario in pi-calculus.

сижу на скальной конференции

Уже примерно пятый докладчик рассказывает, что исключения и опшен надо заменить на какой-нибудь класс получше. В разных контекстах, но тема одна.

Это народ со скрипом открывает для себя хорошие монады. До апликативных еще хуярить и хуярить.

Эх.

А темы при этом заявлены самые разные, например, "парсинг и его проблемы".

россияне, вам понадобится

http://bytebuster463.livejournal.com/3027115.html

дыбр

Про работу писать не буду (обычная суета сует и всяческая хуита).

Выехал в полдевятого, приехал едва в 9:25. Выступление Майлса Сабина натурально пропустил, так как была давка; xeno_by стоял близко к двери и, наверно, что-то уловил, но мне было никак.

Ну а потом были обычные рассказы о пользе монад (один человек с NLP, однако, ляпнул, что он из категории предложений естественного языка строят функтор в категорию семантики; я не стал приставать с глупостями).

Рунар Бьярнасон, конечно, блеснул, рассказав, вместе с приятелем, как они похерили все джейсоны и акки, и забацали свои коммуникации, проект remotely на гитхабе. Рунар разбирается. Уже иногда хочется в верайзоне тоже работать, да.

А, еще Саша Подхалюзин рассказал опять про фокусы с имплиситами; я включил синдром Даннинга-Крюгера и решил, что пока очевидно, пользуюсь, а когда неочевидно, то лучше не буду.

Ну а заодно он же помог мне со всякой фигней в интелиджее (год страдал!). Ну, профессионалы!

Пытался понять про завтрашнюю unconference; наверно, поеду чуток попозже.

Еще один московский гость (не буду так уж болтать) хотел было поехать в Хьюлет-Паккард на митап, хотел его подвезти, но он передумал, пошел с кое-кем разговаривать.

Пока сидел, понаставил студентам оценок. Ну не очень, не очень. Подумаю, как бы улучшить качество... аяяй, короче.

Мартин то ли забыл, кто я такой, то ли все еще нас избегает; я не навязывался, у него тайпсейф на шее, чего уж там. Тайпсейфовые ведут себя... эх, ладно.

В шестом часу поехал домой, два часа любования пейзажами - и я дома; подруга пришла с йоги позже меня, шпагат там учат делать, во.

Вечером еще пошел на сайт университета, запостил оценки, сообщил всем, что меня еще можно увидеть и оценки пооспаривать. А то иной раз и не поймешь, что это там у них написано. Некоторые вообще ни хера не поняли.

Но поразила меня китайская девушка Хуй. Она весь семестр тупила совершенно. Путала элемент множества и подмножество. А на экзамене задачи решила с блеском. Без туфты, без ничего, видно, что умная. Такие дела. Радуюсь таким людям. И один разгильдяй тоже, бац - и все накатал с блеском, оригинальное решение, я в восторге. А вот спортсмену придется С ставить; ну посмотрим, посмотрим. Я ж в торги не вступаю... посмотрим.