
diff -r d486c12deeab -r 2e2dca212fff etnms/algorithm.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etnms/algorithm.tex	Thu Jan 09 22:21:04 2020 +0000
@@ -0,0 +1,22 @@
+\documentclass{article}
+\usepackage[ruled,vlined]{algorithm2e}
+ 
+\begin{document}
+\begin{algorithm}[H]
+\SetAlgoLined
+\KwResult{rexp }
+ Compute list $l_1: [r_1\backslash c_1 \cdots c_n, r_1\backslash c_1 \cdots c_{n-1}, ..., r_1 \backslash c_1, r_1]$\;
+ Compute list $l_2: [r_2, r_2\backslash c_n, r_2\backslash c_{n-1} c_{n}, ..., r_2 \backslash c_1\cdots c_n]$\;
+ Compute list $l_3$: 
+ $l_3 \gets []$ \;
+ \For{$i\gets1$ \KwTo $n$}{
+    $\mathit{if} \; \mathit{nullable}(r_1 \backslash c_1 \cdots c_{n-i+1}) \; \mathit{then} \; \mathit{add} \; i \; \mathit{to} \; l_3$
+    }
+    $result \gets r_1 \backslash c_1 \cdots c_n \cdot r_2$\\
+ \For{$i\gets0$ \KwTo $l_3.length -1$}{
+ $result \gets \mathit{ALT}(result, l2[l3[i]])$
+ }
+ \Return result
+ \caption{ders2forSEQ($r_1$,$r_2$,$s$)}
+\end{algorithm}
+\end{document}
\ No newline at end of file




