Michael Schmitt wrote:
>
> Hi all,
>
> I still experience the problem that from time to time I cannot add a
> space at certain places in the text. For example, if
>
> - you load the attached text into lyx
> - immediately remove the space between "has" and "undergone"
> in the second par of introduction (very important)
>
> you cannot add a space between "under" and "gone".
Sorry, I forgot the file...
Michael
--
======================================================================
Michael Schmitt phone: +49 451 500 3725
Institute for Telematics secretary: +49 451 500 3721
Medical University of Luebeck fax: +49 451 500 3722
Ratzeburger Allee 160 eMail: [EMAIL PROTECTED]
D-23538 Luebeck, Germany WWW: http://www.itm.mu-luebeck.de
======================================================================
#LyX 1.1 created this file. For more info see http://www.lyx.org/
\lyxformat 2.15
\textclass IEEEtran
\language american
\inputencoding latin1
\fontscheme default
\graphics default
\paperfontsize default
\spacing single
\papersize a4paper
\paperpackage a4
\use_geometry 0
\use_amsmath 0
\paperorientation portrait
\secnumdepth 3
\tocdepth 3
\paragraph_separation skip
\defskip medskip
\quotes_language english
\quotes_times 2
\papercolumns 1
\papersides 1
\paperpagestyle default
\layout Title
The Development of a Parsable Grammar for SDL 2000
\layout Author
Michael Schmitt
\layout Address
Institute for Telematics
\newline
Medical University of Luebeck
\newline
Ratzeburger Allee 160
\newline
23538 Luebeck
\newline
Germany
\layout Date
January 20th, 2000
\layout Abstract
In November 1999, the International Telecommunication Union (ITU) has adopted
a new release of the
\emph on
Specification and Description Language
\emph default
, called
\emph on
SDL 2000
\emph default
.
\layout Abstract
This report is addressed to readers who are either considering the development
of their own SDL-based tools or who interested in the application of contempora
ry parsing techniques.
\layout Section
Introduction
\layout Standard
The
\emph on
Specification and Description Language
\emph default
(
\emph on
SDL
\emph default
) is a formal language that is widely used in the telecommuncation area
for the description of communicating systems.
Due to its formal semantics it allows for validation, verification and
generation of applications in an unambiguous manner.
\layout Standard
Since its introduction in 1976, SDL
\begin_inset LatexCommand \cite{Z100}
\end_inset
has undergone regular modifications.
These changes were motivated by In November 1999, Study Group 10 of the
ITU Telecommunications Standardization Sector (ITU-T SG10) has approved
the latest version of SDL.
SDL 2000
\layout Bibliography
\bibitem [Z100]{Z100}
Z.100, Specification and Description Language.
\layout Standard
Overview SDL2000
\layout Standard
Overview Grammars
\layout Standard
Criteria for ch oosing the right parser generator
\layout Itemize
language support
\layout Itemize
input format simplicity
\layout Itemize
required transformation of grammars
\layout Itemize
manipulation techniques
\begin_deeper
\layout Standard
rewrite rules
\end_deeper
\layout Itemize
license
\layout Standard
Types of indeterminism
\layout Itemize
simple
\emph on
end
\emph default
problem
\layout Itemize
semantic resolution
\layout Itemize
left recursions: operands unveiled problems
\layout Itemize
mixing syntactic and semantic information
\layout Itemize
resolving by semantic information: names/identifiers
\layout Itemize
resolving by left-factorizing / syntactic predicates / semantic predicates
\layout Standard
ANTLR features
\layout Standard
lexer, parser, tree parser, token stream parser, LL(k), LL(k) approx, semantic
/ syntactic predicates
\the_end
S/MIME Cryptographic Signature
