Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Rewrite

  • Loading branch information...
commit 0ddd8f9a987d6639e6cb58d349cb607821526103 1 parent d1a14b8
Jeffrey Kegler authored
Showing with 13 additions and 7 deletions.
  1. +13 −7 recce.ltx
View
20 recce.ltx
@@ -8,7 +8,7 @@
% This is now a "paper", but may be a chapter
% or something else someday
-% This command will make any such change easier.
+% This command might make any such change easier.
\newcommand{\doc}{paper}
\newcommand{\todo}[1]{\par{\large\bf Todo: #1}\par}
@@ -1598,6 +1598,12 @@ that is current
during that call to \call{Fuse one LHS}{}.
Overhead may be charged to the Earley set at \Vloc{i}.
+\subsection{Correctness of the fusion pass}
+\label{p:fusion-correct}
+
+\subsection{Completeness of the fusion pass}
+\label{p:fusion-complete}
+
\begin{algorithm}[h]
\caption{Memoize transitions}
\begin{algorithmic}[1]
@@ -1618,12 +1624,6 @@ Overhead may be charged to the Earley set at \Vloc{i}.
\end{algorithmic}
\end{algorithm}
-\subsection{Correctness of the fusion pass}
-\label{p:fusion-correct}
-
-\subsection{Completeness of the fusion pass}
-\label{p:fusion-complete}
-
\subsection{Memoize transitions}
The \var{transitions} table for \Ves{i}
@@ -2051,6 +2051,12 @@ the previous two equalities.
\section{Marpa recognizer complexity}
\label{s:complexity}
+\subsection{Preliminaries}
+
+\begin{definition}
+Channelled LR($\pi$).
+\end{definition}
+
\subsection{Complexity of each Earley item}
For the complexity proofs,
Please sign in to comment.
Something went wrong with that request. Please try again.