Last active
February 2, 2016 20:50
-
-
Save RolandR/1c21a6c9dc5da25bd429 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
%---------------------------------------------------------------------------------------- | |
% PACKAGES AND OTHER DOCUMENT CONFIGURATIONS | |
%---------------------------------------------------------------------------------------- | |
\documentclass[a4paper]{article} | |
\usepackage[sc]{mathpazo} % Use the Palatino font | |
\usepackage[T1]{fontenc} % Use 8-bit encoding that has 256 glyphs | |
\linespread{1.05} % Line spacing - Palatino needs more space between lines | |
\usepackage{microtype} % Slightly tweak font spacing for aesthetics | |
\usepackage[hmarginratio=1:1,top=25mm,left=20mm]{geometry} % Document margins | |
\usepackage{hyperref} % For hyperlinks in the PDF | |
\usepackage[hang, small,labelfont=bf,up,textfont=it,up]{caption} % Custom captions under/above floats in tables or figures | |
\usepackage{booktabs} % Horizontal rules in tables | |
\usepackage{float} % Required for tables and figures in the multi-column environment - they need to be placed in specific locations with the [H] (e.g. \begin{table}[H]) | |
\usepackage{paralist} % Used for the compactitem environment which makes bullet points with less space between them | |
%\usepackage{ngerman} | |
\usepackage[utf8]{inputenc} | |
\usepackage{url} | |
\usepackage{parskip} | |
\usepackage{lastpage} | |
\usepackage{fancyhdr} | |
\pagestyle{fancy} | |
\fancyhead[R]{ | |
\author{ | |
Roland Rytz | |
} | |
} | |
\fancyhead[L]{Automata and Formal Languages - BTI7064} | |
\fancyfoot[C]{ \thepage{} of \pageref{LastPage} } | |
\hypersetup{ | |
colorlinks, | |
citecolor=black, | |
filecolor=black, | |
linkcolor=black, | |
urlcolor=black | |
} | |
\newcommand{\superscript}[1]{\ensuremath{^{\textrm{#1}}}} | |
\newcommand{\subscript}[1]{\ensuremath{_{\textrm{#1}}}} | |
%---------------------------------------------------------------------------------------- | |
% TITLE SECTION | |
%---------------------------------------------------------------------------------------- | |
\title{ | |
\vspace{-15mm} | |
\fontsize{18pt}{10pt} | |
\selectfont\textbf{ | |
Automata and Formal Languages - Notes | |
}\\[-15mm] | |
} | |
\date{Compiled on \today} | |
%---------------------------------------------------------------------------------------- | |
\begin{document} | |
\maketitle | |
%\newpage | |
\thispagestyle{fancy} % All pages have headers and footers | |
%---------------------------------------------------------------------------------------- | |
% ARTICLE CONTENTS | |
%---------------------------------------------------------------------------------------- | |
%\begin{multicols}{2} % Two-column layout throughout the main article text | |
\section{Languages} | |
An \emph{alphabet} is a finite set of symbols such as letters, digits, etc. | |
A \emph{word} over an alphabet $\Sigma$ is a string of finite length, in other words a finite sequence of symbols of $\Sigma$. | |
A \emph{(formal) language} over an alphabet $\Sigma$ is defined as a set of words (defined over $\Sigma$). | |
%---------------------------------------------------------------------------------------- | |
\end{document} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment