Formálne jazyky a automaty
(letný semester 2022/2023)

TeX (vyslovuje sa „tech”) je typografický systém, ktorý je známy najmä vďaka jeho rozsiahlej podpore „matematiky”. LaTeX (vyslovuje sa „latech” alebo „lejtech”) je systém na tvorbu dokumentov bežiaci nad TeXom. V súčasnosti je nepísaným štandardom pre vedecké publikácie (minimálne) v oblastiach matematiky, (teoretickej) informatiky a fyziky.

Súčasťou cvičení k formálnym jazykom a automatom je aj vypracovanie väčšieho množstva domácich úloh, ktoré môžu slúžiť aj ako vhodné cvičenia na zvládnutie základov LaTeXu. Jediný spoľahlivý spôsob, ako sa LaTeX naučiť, je s ním pravidelne pracovať. Práve odovzdávanie riešení domácich úloh spísaných v LaTeXu môže byť vhodným spôsobom, ako získať skúsenosti, ktoré neskôr môžu prísť vhod napríklad pri písaní záverečnej práce.

Distribúcie TeXu

• Nejaká distribúcia TeXu býva často už priamou súčasťou inštalácií Linuxu.
• Pod MS Windows je pravdepodobne najznámejšou distribúciou už dlhé roky MiKTeX. Existuje aj vo verzii MiKTeX Portable, ktorá umožňuje používať TeX napríklad z DVD alebo USB klúča. Najnovšiu verziu tejto distribúcie možno nájsť na projektovej stránke http://miktex.org/.
• Na MiKTeXu je založená aj ďalšia distribúcia TeXu pre Windows – proTeXt. Možno ju získať zo stránky http://www.tug.org/protext/.
• Multiplatformovou distribúciou a pravdepodobne najznámejšou voľbou pre Unixové systémy je TeX Live. Beží aj na MS Windows a OS X. Podobne ako MiKTeX sa dá používať aj z DVD alebo USB kľúča. Je založená na kedysi populárnom projekte teTeX, určenom najmä pre Unixové systémy. Najnovšiu verziu tejto distribúcie možno získať zo stránky http://www.tug.org/texlive/.
• Pre OS X býva často odporúčanou distribúciou MacTeX, ktorý možno získať zo stránky http://tug.org/mactex/.

Zdroje informácií

• Pekný LaTeX tutorial ktorý sa dá nájsť do 10 sekúnd použitím obľúbeného vyhľadávača (v mojom prípade DuckDuckGo).
• The Not So Short Introduction to LaTeX2e – klasický úvodný text.
• Ne úplně nejkratší úvod do formátu LaTeX2e – český preklad o niečo málo staršej verzie predchádzajúceho textu.
• Kniha o LaTeXu na Wikibooks – výborný zdroj informácií, ktorý už v súčasnosti môže slúžiť aj ako referenčná príručka.
• The Comprehensive LaTeX Symbol List – vyčerpávajúci zoznam symbolov dostupných v rôznych LaTeXových balíkoch.
• TeX Cookbook – zoznam príkazov v „čistom” TeXu.
• Detexify – online aplikácia na báze strojového učenia, ktorá sa z rukou nakresleného symbolu snaží určiť príkaz na jeho vysádzanie v LaTeXu. Nefunguje na 100%, ale môže byť užitočnou pomôckou.

Riešenie domácej úlohy vytvorené v LaTeXu

Napísať domácu úlohu v LaTeXu je možné už krátko po zvládnutí jeho základov. Môžete použiť napríklad tento template.