{"id":25877735,"url":"https://github.com/funfunfine/loi","last_synced_at":"2026-03-06T10:31:52.397Z","repository":{"id":116212433,"uuid":"240412587","full_name":"FunFunFine/loi","owner":"FunFunFine","description":null,"archived":false,"fork":false,"pushed_at":"2020-06-06T11:02:16.000Z","size":71,"stargazers_count":0,"open_issues_count":1,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-02T11:34:29.900Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://funfunfine.github.io/loi","language":"HTML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/FunFunFine.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-02-14T02:31:51.000Z","updated_at":"2020-06-06T11:02:18.000Z","dependencies_parsed_at":null,"dependency_job_id":"170f747b-269a-4bef-8fc5-bb450c8b927d","html_url":"https://github.com/FunFunFine/loi","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/FunFunFine/loi","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FunFunFine%2Floi","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FunFunFine%2Floi/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FunFunFine%2Floi/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FunFunFine%2Floi/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/FunFunFine","download_url":"https://codeload.github.com/FunFunFine/loi/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FunFunFine%2Floi/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30171869,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-06T07:56:45.623Z","status":"ssl_error","status_checked_at":"2026-03-06T07:55:55.621Z","response_time":250,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-03-02T11:30:04.886Z","updated_at":"2026-03-06T10:31:52.386Z","avatar_url":"https://github.com/FunFunFine.png","language":"HTML","funding_links":[],"categories":[],"sub_categories":[],"readme":"\n# Лекции по ЛОИ (лингвистические основы информатики) aka Компиляторы\n\n## Материалы\n\n* [Страница преподавателя на сайте кафедры](http://kadm.kmath.ru/pages.php?id=seamrog)\n* [Задачки](https://www.dropbox.com/s/774f50efo1lma6u/loi_tasks.pdf?dl=0)\n* [Dragon book](https://github.com/lehaSVV2009/Compiler/blob/master/books/%D0%90%D1%85%D0%BE%2C%20%D0%A1%D0%B5%D1%82%D0%B8%2C%20%D0%A3%D0%BB%D1%8C%D0%BC%D0%B0%D0%BD.%20%D0%9A%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%82%D0%BE%D1%80%D1%8B.%20%D0%9F%D1%80%D0%B8%D0%BD%D1%86%D0%B8%D0%BF%D1%8B%2C%20%D1%82%D0%B5%D1%85%D0%BD%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D0%B8%2C%20%D0%B8%D0%BD%D1%81%D1%82%D1%80%D1%83%D0%BC%D0%B5%D0%BD%D1%82%D1%8B.2ed.2008.pdf)\n* [Ахо, Ульман \"Теория синтаксического анализа, перевода и компиляции\"](https://github.com/afrolovskiy/compilers_labs/blob/master/literature/%D0%90%D1%85%D0%BE%20%D0%90.%2C%20%D0%A3%D0%BB%D1%8C%D0%BC%D0%B0%D0%BD%20%D0%94%D0%B6.%20%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F%20%D1%81%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B3%D0%BE%20%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7%D0%B0%2C%20%D0%BF%D0%B5%D1%80%D0%B5%D0%B2%D0%BE%D0%B4%D0%B0%20%D0%B8%20%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%86%D0%B8%D0%B8.%20%D0%A2%D0%BE%D0%BC%201.%20%D0%9A%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%86%D0%B8%D1%8F%20(1978).djvu)\n* [Языки, грамматики, распознаватели (Шур, Замятин)](http://kadm.kmath.ru/files/shurzam.pdf)\n\n* [Алгоритмы с курса](./algs.md)\n## Обозначения\n\nОпределение выглядит вот так:\n\n### Df **Что-то** определяется вот так:\n\n\u003e Вот так вот так\n\nТеорема выглядит вот так:\n\n### Th **Что-то** как-то (1)\n\n\u003e Вот так вот так\n\nА вот так лемма:\n\n### Lm бла-бла\n\nИх доказательство:\n\n### Pf 1\n\n\u003e Потому-то вот так\n\nЕсли очевидно, к какой теореме или лемме доказательство, то номер можно опустить (*Вместо номера можно хоть гуид лол*)\n\nВот так выглядит алгоритм:\n\n### Al Что-то того-то\n\n\u003e Раз раз раз\n\n---\n\n## [Лекция 1](./lectures/lecture_1.md) Структура языка, базовые определения\n\n## [Лекция 2](./lectures/lecture_2.md) Праволинейные грамматики, КСГ, дерево вывода\n\n## [Лекция 3](./lectures/lecture_3.md) Приведенные грамматики, $\\lambda$-свободные грамматики\n\n## [Лекция 4](./lectures/lecture_4.md) Нормальная форма Хомского, Pumping lemma\n\n## [Лекция 5](./lectures/lecture_5.md) Свойства КС-грамматик\n\n## [Лекция 6] TODO\n\n## [Лекция 7 и 8](lectures/lecture_7.md) Алгоритм Кока-Янгера-Касами. МПА. Конфигурации ДМПА и НМПА.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffunfunfine%2Floi","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffunfunfine%2Floi","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffunfunfine%2Floi/lists"}