\documentclass[a4paper,12pt]{report}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amstext}
\usepackage{amsthm}
\usepackage{epsfig}
\usepackage{tabularx}
\usepackage{enumerate}

%pre pracovnu verziu            \usepackage{fancyhdr}
%pre pracovnu verziu            \pagestyle{fancyplain}
%pre pracovnu verziu            \fancyhf{}
%pre pracovnu verziu            \lhead[\today]{\today}
%pre pracovnu verziu            \rhead[\thepage]{\thepage}
%\usepackage{fancyhdr}    %pre pracovnu verziu
%\pagestyle{fancyplain}   %pre pracovnu verziu
%\lhead[\today]{\today}   %pre pracovnu verziu
%\rhead[\thepage]{\thepage}  %pre pracovnu verziu
%
\newtheorem{dfn}{Definition}[section]
\newtheorem{nota}{Notation}[section]
\newtheorem{thm}{Theorem}[section]
%\newtheorem{prf}{Proof}
\newtheorem{lma}{Lemma}[section]
\newtheorem{cor}{Corollary}[section]
\title{Infinite Time Turing machine trough Turing Transducers and the Extended Chomsky hierarchy}
\def\A{{\cal A}}
\def\qed{$\square$}
%\newcommand{\ITTM}[2]{ITTT_{#1}\triangleright{#2}}
%\newcommand{\iTTM}[2]{ITTT_{#1}^\dag\triangleright{#2}}
\newcommand{\ITTM}[2]{(\C{T}_{#1},{#2})}
\newcommand{\iTTM}[2]{(\C{T}_{#1}^\dag,{#2})}
\newcommand{\C}[1]{{\cal #1}}
\def\N{{\mathbb N}}
\newcommand{\bb}[1]{{\mathbb #1}}
\def\abc{{\rm B}}

\RequirePackage{setspace}
\onehalfspacing
%\doublespacing
\input{praca.tex}