Commit 264ddfd4 authored by Michael Kohlhase's avatar Michael Kohlhase

not referenced

parent f82be730
\begin{module}[id=file-type]
\importmhmodule[path=programming/en/files]{files}
\importmhmodule[repos=MiKoMH/GenCS,path=codes/en/utfcodes]{utfcodes}%
\begin{frame}
\frametitle{File Types}
\begin{itemize}
\item
\begin{definition}[id=text-file.def]
A \defii{text}{file} is a computer file that is structured as a sequence of
\mtrefi[utfcodes?character-encoding]{encoded}
\trefis[unicode-ucs]{character}. Computer files that are not \trefiis{text}{file}
are called \defiis{binary}{file}.
\end{definition}
\item
\begin{assertion}[type=remark]
\Trefiis{text}{file} are usually encoded with $\ASCIIcode$,
\trefi[ASCII-problems]{ISO-Latin}, or -- increasingly -- $\unicode$ encodings like
$\UTFeight$.
\end{assertion}
\end{itemize}
\end{frame}
\begin{note}
\begin{assertion}[type=remark]
\importmhmodule[repos=MiKoMH/TDM,path=digdocs/en/digital-text]{digital-text}
\Trefii{plain}{text} is different from \trefii[markup]{formatted}{text}, which includes
\trefiis[markup]{markup}{code}, and \trefiis{binary}{file} in which some portions must
be interpreted as binary objects (encoded integers, real numbers, images, etc.)
\end{assertion}
\end{note}
\end{module}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment