This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: UTM_Hopcroft_Ullman_1969 | |
| source code: |- | |
| # Source: J. E. Hopcroft and J. D. Ullman, Formal languages and their relation to automata. Addison-Wesley, 1969. | |
| # - Figure 7.4 pp 105 - 107 | |
| # - Input is Figure 7.2 p 103 | |
| # | |
| # Alphabet: | |
| # - non-marked symbols ("upper track" is B): 0, 1, c, L, R, ' ' (blank) | |
| # - marked symbols ("upper track" is m): O (for m0), I (for m1), C (for mc), ' ' (for m' ') | |
| # |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: écrit01 | |
| source code: | | |
| input: '' | |
| blank: ' ' | |
| start state: q0 | |
| table: | |
| q0: | |
| ' ': {write: 0, R: q1} | |
| q1: | |
| ' ': {write: 1, R: q0} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env python3 | |
| import gzip | |
| import xml.etree.ElementTree as ET | |
| import subprocess | |
| import argparse | |
| import sys | |
| import pathlib | |
| import tempfile |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #! /usr/bin/env python3 | |
| ############################################################################ | |
| # # | |
| # (Extremely basic) Python script to create jupyter notebook from markdown # | |
| # Bruno Grenet, 02.02.2017 # | |
| # License: Public Domain # | |
| # # | |
| ############################################################################ |