From af310e0b3a4aeb86cd26d75e32befe65a997df17 Mon Sep 17 00:00:00 2001 From: Cody Boone Ferguson <53008573+xexyl@users.noreply.github.com> Date: Wed, 6 Dec 2023 10:10:31 -0800 Subject: [PATCH] Add 2015/muth/try.sh + format/typo checks --- 2015/muth/README.md | 53 ++++++++++++++++++++++++++------------------- 2015/muth/try.sh | 46 +++++++++++++++++++++++++++++++++++++++ thanks-for-fixes.md | 5 +++++ 3 files changed, 82 insertions(+), 22 deletions(-) create mode 100755 2015/muth/try.sh diff --git a/2015/muth/README.md b/2015/muth/README.md index 336f7f649..dce9bcf41 100644 --- a/2015/muth/README.md +++ b/2015/muth/README.md @@ -15,13 +15,7 @@ make -B [MACHINE=your_machine.h] [TAPE=your_tape.h] [X=[0|1|2|3|4|5|6|7|8|9]] [V ### Try: ```sh -make -B V=2 run - -strings prog | grep '(,)' - -make -B MACHINE=machine_times2.h TAPE=tape_five.h V=1 run - -make -B MACHINE=machine_chaos_5_2.h X=5 run +./try.sh ``` @@ -51,21 +45,28 @@ even without conditionals and recursive file inclusion as some kind of a - make target `run` runs `./prog` and filters a little statistics out of the verbose output - `X` (defaults to 3) sets the maximum number of steps: *M*(`X`) ~ 8`X` + ### Limitations -If the machine does not halt after *M*(`X`) steps, you will see unexpanded macros in the output. +If the machine does not halt after *M*(`X`) steps, you will see unexpanded +macros in the output. + ### Compiler warnings -If `V=1` or `V=2` is used, you may see "`warning: string length is greater than the length '4095' ISO C99 compilers are required to support`". +If `V=1` or `V=2` is used, you may see "`warning: string length is greater than +the length '4095' ISO C99 compilers are required to support`". + ### Programming -Implementing your own Turing machine is easy. Take a look at the supplied header files for examples. +Implementing your own Turing machine is easy. Take a look at the supplied header +files for examples. + #### Tape Symbols -Every symbol used (except "`_`") must be explicitly declared using +Every symbol used (except `_`) must be explicitly declared using ```c #define sym_SYMBOL(sym, _SYMBOL) sym @@ -77,9 +78,11 @@ Example: #define sym_1(sym, _1) sym ``` + #### Tape -The initial content of the tape must be defined in the tape header using a triple like: +The initial content of the tape must be defined in the tape header using a +triple like: ```c #define tape ((((,),...l2), l1), c, (r1, (r2..., (,)))) @@ -89,26 +92,32 @@ The initial content of the tape must be defined in the tape header using a tripl - `c` is the symbol at the current position - `r1`, `r2`, ... are the symbols to the right -The empty pairs "`(,)`" represent the continuations of the tape, filled with underscore symbols ("`_`"). They are expanded on demand. +The empty pairs `(,)` represent the continuations of the tape, filled with +underscore symbols (`_`). They are expanded on demand. + #### State Machine All transitions are defined in the machine header using the syntax - #define CURRENT_SCANNED (WRITE, MOVEMENT, NEXT) +``` +#define CURRENT_SCANNED (WRITE, MOVEMENT, NEXT) +``` where -- `CURRENT` is the current state -- `SCANNED` is the symbol at the current position -- the whitespace before the parentheses is significant -- `WRITE` is the symbol to be written to the tape -- `MOVEMENT` is "`L`" for left, "`R`" for right, or nothing -- `NEXT` is the next state +- `CURRENT` is the current state. +- `SCANNED` is the symbol at the current position. +- The whitespace before the parentheses is significant. +- `WRITE` is the symbol to be written to the tape. +- `MOVEMENT` is `L` for left, `R` for right; don't specify anything if you +want no movement. +- `NEXT` is the next state. -There must be a state "`A`" defined, which becomes the initial state of the machine. +There must be a state `A` defined, which becomes the initial state of the +machine. -To halt the machine, use the keyword "`break`" as in +To halt the machine, use the keyword `break` as in ```c #define A_1 (2, break) diff --git a/2015/muth/try.sh b/2015/muth/try.sh new file mode 100755 index 000000000..022d3d441 --- /dev/null +++ b/2015/muth/try.sh @@ -0,0 +1,46 @@ +#!/usr/bin/env bash +# +# try.sh - demonstrate IOCCC winner 2015/muth +# + +# make sure CC is set so that when we do make CC="$CC" it isn't empty. Doing it +# this way allows us to have the user specify a different compiler in an easy +# way. +if [[ -z "$CC" ]]; then + CC="cc" +fi + +make CC="$CC" all >/dev/null || exit 1 + +# clear screen after compilation so that only the entry is shown +clear + + +echo "$ make -B V=2 run" 1>&2 +read -r -n 1 -p "Press any key to continue (space = next page, q = quit): " +echo 1>&2 +make CC="${CC}" -B V=2 run | less -EXF +echo 1>&2 +echo 1>&2 + +echo "$ strings prog | grep '(,)'" 1>&2 +read -r -n 1 -p "Press any key to continue (space = next page, q = quit): " +echo 1>&2 +strings prog | grep '(,)' | less -EXF +echo 1>&2 +echo 1>&2 + +for h in machine*.h; do + for t in tape*.h; do + echo "$ make CC=\"\${CC}\" -B MACHINE=$h TAPE=$t V=1 run" 1>&2 + read -r -n 1 -p "Press any key to continue (q to exit): " + if [[ "$REPLY" == "q" || "$REPLY" == "Q" ]]; then + exit 0 + fi + echo 1>&2 + make -B MACHINE="$h" TAPE="$t" V=1 run + echo 1>&2 + echo 1>&2 + done +done + diff --git a/thanks-for-fixes.md b/thanks-for-fixes.md index 29d0b303d..bcc597b33 100644 --- a/thanks-for-fixes.md +++ b/thanks-for-fixes.md @@ -3803,6 +3803,11 @@ simply typing `make back_to` or `make mullender`. (Linux doesn't seem to but macOS does). +## [2015/muth](2015/muth/prog.c) ([README.md](2015/muth/README.md)) + +[Cody](#cody) added the [try.sh](2015/muth/try.sh) script. + + ## [2015/yang](2015/yang/prog.c) ([README.md](2015/yang/README.md])) [Cody](#cody) fixed an unfortunate typo in the Makefile that was preventing some of the