📚 Материали по "Езици, автомати и изчислимост"

Тук може да намерите:

• кода на моите записки (заедно със самите тях) за упражнения по ЕАИ / ДСТР-2 курса, който се води във ФМИ СУ;
• компилация от интересни задачи.

💭 Какво има (и/или ще има) в записките?

• основни теоритични резултати, нужни за задачи;
• напълно решени, частично решени и нерешени задачи;
• интересни неща, за които не стига времето от редовните занятия.

⚠️ Важно да се има предвид

Тези записки НЕ СА заместител за упражнения. Не всичко в записките ще го има на упражнения, но освен това и не всичко на упражнения ще се срещне тук. И двете са ценни по свой собствен начин. Идея на тези записки е да бъдат допълнение към упражненията, а не заместител.

Също така записките са work in progress и може би винаги ще бъдат. Ще се стремя за в бъдеще да ги подобрявам като добавям нови задачи и попълвам някои доказателства, но не обещавам нищо.

⚙️ Какво ми трябва за да компилирам записките?

• LaTeX компилатор със всички негови библиотеки, които се използват в проекта;
• Python с неговата библиотека pygments.

🎁 Принос

Може да ми пишете, или директно отворите PR с готови промени ако:

• намерите каквато и да е грешка (правописна, граматическа, логическа и т.н.), без значение колко е малка;
• мислите, че някое твърдение има по-елегантно доказателство;
• имате предложение за някоя интересна задача.