元論文が入手できればたぶん一発で理解できるのだが、メモ。 reverse - subset - reverse - subset の操作で NFA を最小化するアルゴリズム。 NFA を反転させる操作 reverse は、オートマトンを図示した場合、すべての矢印の向きを反転させ、開始状態と終了…

メモ。 Finite state automaton construction through regular expression hashing Chapter 5 Brzozowski's algorithm with state merging Watson B.W., Kourie D.G., Ngassam E.K., Strauss T. and Cleophas L. Efficient Automata Constructions and Appro…

http://eliza.newhaven.edu/lang/lectures.html "CS 636 / 536 Spring 2009 The Structure of Programming Languages Lecture Notes, Resources, and Homework" の Structure of Programming Languages – Lecture 2 (http://eliza.newhaven.edu/lang/attach/…

Common Lisp で Forth インタプリタを少し実装してみた。リストあそびならぬ「スタックあそび」という感じ。面白い。 FORTH> (run-forth '(1 2 3 |.|)) ;; display: 3 #<data stack: (2 1) > FORTH> (run-forth '(|:| fn 2 * 1 + |;| 10 fn)) #<data stack: (21) > FORTH> (run-forth '(|:| doubler </data></data>…

以下個人的 Forth 情報。まだちゃんと読んでいないのがほとんどなので注意。 Forth の有用/有名な文章 Starting Forth http://www.forth.com/starting-forth/ Forth Inc 社に置いてあるオンライン版 Thinking Forth http://thinking-forth.sourceforge.net/ …

いろいろあるものだ。どれもまったく動かせていないがいつか。 名前 説明 作者 URL 備考 ECL for iPhone iPhone 用の ECL port? kriyative https://github.com/kriyative/ecl-iphone-snapshot 2010.2 更新 KondoLisp Arduino hayamiz http://d.hatena.ne.jp/…

Common Lisp で PPM フォーマットの画像を作った。 Ascii 形式の PPM 画像 (defun test-ppm () (with-open-file (out "/tmp/tmp.ppm" :direction :output :if-exists :supersede) (format out "P3~%") (format out "100 100~%") (format out "255~%") (loop …