famubu
/
playground
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[tex] labeling table with long brackets

This commit is contained in:
Julin S 2024-02-20 14:11:03 +05:30
parent e60c7efacf
commit 6d7bbb8813
2 changed files with 46 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
coq/string_notation.v
View File

@ -1,3 +1,9 @@
(*
https://coq.inria.fr/doc/V8.18.0/stdlib/Coq.Strings.Byte.html
https://coq.inria.fr/doc/V8.19.0/refman/user-extensions/syntax-extensions.html#string-notations
https://github.com/bedrocksystems/BRiCk/blob/a4ac08a9feede5629ceb7f2f72ca1ead926cb7df/theories/prelude/bytestring_core.v#L154
*)
Require Import List.
Import ListNotations.
Require Import Strings.Byte.

40
latex/long-brackets.tex Normal file
View File

@ -0,0 +1,40 @@
\documentclass{article}
\usepackage{multirow}
\usepackage{bigdelim}
\begin{document}
\begin{figure}
\begin{tabular}{l|l
l@{\hskip 0.15in} % a
l@{\hskip 0.35in} % b and c
l@{\hskip 0.35in} % b+c
l@{\hskip 0.50in} % (b+c)*
l@{\hskip 0.40in} % a;(b+c)*
l % d
l} % a;(b+c)*;d
Index & Instruction \\
\hline
0 & \texttt{Char a} & \rdelim\}{1}{3mm}[a] & & & &
\rdelim\}{7}{3mm}[(a;b+c)*]
& & \rdelim\}{8}{3mm}[(a;b+c)*;d] \\
\cline{1-3}
1 & \texttt{Split 7} & & & & \rdelim\}{6}{3mm}[(b+c)*] \\
\cline{1-4}
2 & \texttt{Split 5} & & & \rdelim\}{4}{3mm}[b+c] \\
\cline{1-3}
3 & \texttt{Char b} & & \rdelim\}{1}{3mm}[b] \\
\cline{1-3}
4 & \texttt{Jump 6} \\
\cline{1-3}
5 & \texttt{Char c} & & \rdelim\}{1}{3mm}[c] \\
\cline{1-3}
6 & \texttt{Jump 1} \\
\cline{1-5}
7 & \texttt{Char d} & & & & & & \rdelim\}{1}{3mm}[d] \\
\cline{1-7}
8 & \texttt{Accept} \\
\end{tabular}
\caption{VM program for \texttt{a;(b+c)*;d}}
\label{fig:VM-eg-prog}
\end{figure}
\end{document}