dslkit 0.2.6 → 0.2.7

data/.gitignore

@@ -0,0 +1,3 @@
+.*.sw[pon]
+pkg
+Gemfile.lock

data/CHANGES

@@ -1,3 +1,5 @@
+2011-07-16 (0.2.7)
+  * Added turing machines example.
 2009-07-20 (0.2.6)
   * Build gemspec file.
   * Some cleanup.

data/Gemfile

@@ -0,0 +1,5 @@
+# vim: set filetype=ruby et sw=2 ts=2:
+
+source :rubygems
+
+gemspec

data/{doc-main.txt → README.rdoc}

@@ -1,21 +1,21 @@
-== DSLKit - Building Blocks for Domain Specific Languages (DSL)
+= DSLKit - Building Blocks for Domain Specific Languages (DSL)
 
-=== Description
+== Description
 
 This library contains recurring patterns, that are useful in the creation of
 internal Domain Specific Languages (DSL) in Ruby.
 
-=== Author
+== Author
 
 Florian Frank <mailto:flori@ping.de>
 
-=== License 
+== License 
 
 This is free software; you can redistribute it and/or modify it under the
 terms of the GNU General Public License Version 2 as published by the Free
 Software Foundation: www.gnu.org/copyleft/gpl.html
 
-=== Download
+== Download
 
 The latest version of this library can be downloaded at
 
@@ -25,7 +25,7 @@ Online Documentation should be located at
 
 * http://dslkit.rubyforge.org
 
-=== Examples
+== Examples
 
 Some nice examples on how to use dslkit are located in the examples/
 subdirectory of this library.

data/Rakefile

@@ -1,94 +1,33 @@
-begin
-  require 'rake/gempackagetask'
-rescue LoadError
-end
-require 'rake/clean'
-require 'rbconfig'
-include Config
-
-PKG_NAME = 'dslkit'
-PKG_VERSION = File.read('VERSION').chomp
-PKG_FILES = FileList['**/*'].exclude(/(CVS|\.svn|pkg|coverage|doc)/)
-CLEAN.include 'coverage', 'doc'
-
-desc "Installing library"
-task :install  do
-  ruby 'install.rb'
-end
-
-desc "Creating documentation"
-task :doc do
-  ruby 'make_doc.rb'
-end
-
-desc "Testing library"
-task :test  do
-  ruby '-Ilib tests/runner.rb'
-end
-
-desc "Testing library with coverage"
-task :coverage  do
-  system 'rcov -Ilib tests/test_rude.rb'
-end
-
-if defined? Gem
-  spec_src =<<GEM
-# -*- encoding: utf-8 -*-
-Gem::Specification.new do |s|
-  s.name = '#{PKG_NAME}'
-  s.version = '#{PKG_VERSION}'
-  s.summary = 'Kit for building DSLs in Ruby'
-  s.description = 'This library contains recurring patterns, that are useful in the creation of internal Domain Specific Languages (DSL) in Ruby.'
-
-  s.files = #{PKG_FILES.to_a.sort.inspect}
-
-  s.require_path = 'lib'
-
-  s.has_rdoc = true
-  s.rdoc_options << '--main' << 'doc-main.txt'
-  s.extra_rdoc_files << 'doc-main.txt'
-  s.test_files << 'tests/runner.rb'
-
-  s.author = "Florian Frank"
-  s.email = "flori@ping.de"
-  s.homepage = "http://#{PKG_NAME}.rubyforge.org"
-  s.rubyforge_project = "#{PKG_NAME}"
-end
-GEM
-
-  desc 'Create a gemspec file'
-  task :gemspec do
-    File.open("#{PKG_NAME}.gemspec", 'w') do |f|
-      f.puts spec_src
+# vim: set filetype=ruby et sw=2 ts=2:
+
+require 'gem_hadar'
+
+GemHadar do
+  name        'dslkit'
+  path_module 'DSLKit'
+  author      'Florian Frank'
+  email       'flori@ping.de'
+  homepage    "http://flori.github.com/#{name}"
+  summary     'Kit for building DSLs in Ruby'
+  description 'This library contains recurring patterns, that are useful in the creation of internal Domain Specific Languages (DSL) in Ruby.'
+  test_dir    'tests'
+  ignore      '.*.sw[pon]', 'pkg', 'Gemfile.lock'
+  readme      'README.rdoc'
+
+  dependency  'term-ansicolor', '~>1.0'
+  dependency  'spruz',          '~>0.2'
+
+  install_library do
+    libdir = CONFIG["sitelibdir"]
+    cd 'lib' do 
+      dst = File.join(libdir, 'dslkit')
+      mkdir_p dst
+      cd 'dslkit' do
+        for file in Dir['*.rb']
+          install file, File.join(dst, file)
+        end
+      end
+      install 'dslkit.rb', libdir
     end
   end
-
-  spec = eval(spec_src)
-  Rake::GemPackageTask.new(spec) do |pkg|
-    pkg.need_tar = true
-    pkg.package_files += PKG_FILES
-  end
 end
-
-desc m = "Writing version information for #{PKG_VERSION}"
-task :version do
-  puts m
-  File.open(File.join('lib', 'dslkit', 'version.rb'), 'w') do |v|
-    v.puts <<EOT
-module DSLKit
-  # DSLKit version
-  VERSION         = '#{PKG_VERSION}'
-  VERSION_ARRAY   = VERSION.split(/\\./).map { |x| x.to_i } # :nodoc:
-  VERSION_MAJOR   = VERSION_ARRAY[0] # :nodoc:
-  VERSION_MINOR   = VERSION_ARRAY[1] # :nodoc:
-  VERSION_BUILD   = VERSION_ARRAY[2] # :nodoc:
-end
-EOT
-  end
-end
-
-desc "Default"
-task :default => [ :version, :gemspec, :test ]
-
-desc "Prepare a release"
-task :release => [ :clean, :version, :gemspec, :package ]

data/VERSION

@@ -1 +1 @@
-0.2.6
+0.2.7

data/dslkit.gemspec

@@ -1,21 +1,38 @@
 # -*- encoding: utf-8 -*-
-Gem::Specification.new do |s|
-  s.name = 'dslkit'
-  s.version = '0.2.6'
-  s.summary = 'Kit for building DSLs in Ruby'
-  s.description = 'This library contains recurring patterns, that are useful in the creation of internal Domain Specific Languages (DSL) in Ruby.'
 
-  s.files = ["CHANGES", "COPYING", "Rakefile", "TODO", "VERSION", "dslkit.gemspec", "examples", "examples/let.rb", "examples/mail.rb", "examples/mm.rb", "examples/multiply.reg", "examples/null_pattern.rb", "examples/recipe.rb", "examples/recipe2.rb", "examples/recipe_common.rb", "examples/subtract.reg", "install.rb", "lib", "lib/dslkit", "lib/dslkit.rb", "lib/dslkit/polite.rb", "lib/dslkit/rude.rb", "lib/dslkit/version.rb", "tests", "tests/runner.rb", "tests/test_common.rb", "tests/test_polite.rb", "tests/test_rude.rb"]
+Gem::Specification.new do |s|
+  s.name = %q{dslkit}
+  s.version = "0.2.7"
 
-  s.require_path = 'lib'
+  s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
+  s.authors = ["Florian Frank"]
+  s.date = %q{2011-07-16}
+  s.description = %q{This library contains recurring patterns, that are useful in the creation of internal Domain Specific Languages (DSL) in Ruby.}
+  s.email = %q{flori@ping.de}
+  s.extra_rdoc_files = ["README.rdoc"]
+  s.files = [".gitignore", "CHANGES", "COPYING", "Gemfile", "README.rdoc", "Rakefile", "TODO", "VERSION", "dslkit.gemspec", "examples/add_one.pdf", "examples/add_one.stm", "examples/bb3.pdf", "examples/bb3.stm", "examples/bb3_19.stm", "examples/concatenate_compare.mtm", "examples/concatenate_compare.pdf", "examples/concatenate_compare_19.mtm", "examples/length_difference.mtm", "examples/length_difference.pdf", "examples/length_difference_19.mtm", "examples/let.rb", "examples/mail.rb", "examples/minsky.rb", "examples/multiply.reg", "examples/null_pattern.rb", "examples/ones_difference-mtm.pdf", "examples/ones_difference-stm.pdf", "examples/ones_difference.mtm", "examples/ones_difference.stm", "examples/ones_difference_19.mtm", "examples/ones_difference_19.stm", "examples/prefix-equals-suffix-reversed-with-infix.pdf", "examples/prefix-equals-suffix-reversed-with-infix.stm", "examples/prefix-equals-suffix-reversed-with-infix_19.stm", "examples/recipe.rb", "examples/recipe2.rb", "examples/recipe_common.rb", "examples/subtract.reg", "examples/turing-graph.rb", "examples/turing.rb", "lib/dslkit.rb", "lib/dslkit/polite.rb", "lib/dslkit/rude.rb", "lib/dslkit/version.rb", "tests/test_polite.rb"]
+  s.homepage = %q{http://flori.github.com/dslkit}
+  s.rdoc_options = ["--title", "Dslkit - Kit for building DSLs in Ruby", "--main", "README.rdoc"]
+  s.require_paths = ["lib"]
+  s.rubygems_version = %q{1.6.2}
+  s.summary = %q{Kit for building DSLs in Ruby}
+  s.test_files = ["tests/test_polite.rb"]
 
-  s.has_rdoc = true
-  s.rdoc_options << '--main' << 'doc-main.txt'
-  s.extra_rdoc_files << 'doc-main.txt'
-  s.test_files << 'tests/runner.rb'
+  if s.respond_to? :specification_version then
+    s.specification_version = 3
 
-  s.author = "Florian Frank"
-  s.email = "flori@ping.de"
-  s.homepage = "http://dslkit.rubyforge.org"
-  s.rubyforge_project = "dslkit"
+    if Gem::Version.new(Gem::VERSION) >= Gem::Version.new('1.2.0') then
+      s.add_development_dependency(%q<gem_hadar>, ["~> 0.0.2"])
+      s.add_runtime_dependency(%q<term-ansicolor>, ["~> 1.0"])
+      s.add_runtime_dependency(%q<spruz>, ["~> 0.2"])
+    else
+      s.add_dependency(%q<gem_hadar>, ["~> 0.0.2"])
+      s.add_dependency(%q<term-ansicolor>, ["~> 1.0"])
+      s.add_dependency(%q<spruz>, ["~> 0.2"])
+    end
+  else
+    s.add_dependency(%q<gem_hadar>, ["~> 0.0.2"])
+    s.add_dependency(%q<term-ansicolor>, ["~> 1.0"])
+    s.add_dependency(%q<spruz>, ["~> 0.2"])
+  end
 end

data/examples/add_one.stm

@@ -0,0 +1,13 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with a binary number on the tape:
+# $ turing.rb add_one.stm 1111010101
+
+0. right :goto   => 1
+1. cond  :if => 'B', :then => 2, :else => 0
+2. left  :goto   => 3
+3. cond  :if => '1', :then => 4, :else => 5
+4. write :symbol => '0', :goto => 2
+5. write :symbol => '1', :goto => 6
+6. right :goto   => 7
+7. cond  :if => 'B', :then => 8, :else => 6
+8. halt

data/examples/bb3.stm

@@ -0,0 +1,26 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with an empty tape
+# $ turing.rb bb3.stm ''
+
+# Busy Beaver: 3-state, 2-symbol
+
+# state A
+ 1. cond  :if => 'B', :then => 2, :else => 4
+ 2. write :symbol => '1', :goto => 3 
+ 3. right :goto => 6
+ 4. write :symbol => '1', :goto => 5
+ 5. right :goto => 16
+# state B
+ 6. cond  :if => 'B', :then => 7, :else => 9
+ 7. write :symbol => 'B', :goto => 8
+ 8. right :goto => 11
+ 9. write :symbol => '1', :goto => 10
+10. right :goto => 6
+# state C
+11. cond  :if => 'B', :then => 12, :else => 14
+12. write :symbol => '1', :goto => 13
+13. left  :goto => 11
+14. write :symbol => '1', :goto => 15
+15. left  :goto => 1
+# halt
+16. halt

data/examples/bb3_19.stm

@@ -0,0 +1,26 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with an empty tape
+# $ turing.rb bb3.stm ''
+
+# Busy Beaver: 3-state, 2-symbol
+
+# state A
+ 1. cond  if: 'B', then: 2, else: 4
+ 2. write symbol: '1', goto: 3 
+ 3. right goto: 6
+ 4. write symbol: '1', goto: 5
+ 5. right goto: 16
+# state B
+ 6. cond  if: 'B', then: 7, else: 9
+ 7. write symbol: 'B', goto: 8
+ 8. right goto: 11
+ 9. write symbol: '1', goto: 10
+10. right goto: 6
+# state C
+11. cond  if: 'B', then: 12, else: 14
+12. write symbol: '1', goto: 13
+13. left  goto: 11
+14. write symbol: '1', goto: 15
+15. left  goto: 1
+# halt
+16. halt

data/examples/concatenate_compare.mtm

@@ -0,0 +1,31 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with four binary numbers on the tape:
+# $ turing.rb concatenate_compare.mtm 110 1 11 01
+
+ 1. right 1,  :goto => 2
+ 2. cond  1,  :if => 'B', :then => 3, :else => 1
+ 3. right 2,  :goto => 4
+ 4. cond  2,  :if => '0', :then => 7, :else => 5
+ 5. cond  2,  :if => '1', :then => 6, :else => 9
+ 6. write 1,  :symbol => '1', :goto => 8
+ 7. write 1,  :symbol => '0', :goto => 8
+ 8. right 1,  :goto => 3
+ 9. right 3,  :goto => 10
+10. cond  3,  :if => 'B', :then => 11, :else => 9
+11. right 4,  :goto => 12
+12. cond  4,  :if => '0', :then => 14, :else => 13
+13. cond  4,  :if => '1', :then => 15, :else => 17
+14. write 3,  :symbol => '0', :goto => 16
+15. write 3,  :symbol => '1', :goto => 16
+16. right 3,  :goto => 11
+17. left  3,  :goto => 18
+18. left  1,  :goto => 19
+19. cond  3,  :if => '0', :then => 20, :else => 22
+20. cond  1,  :if => '0', :then => 17, :else => 24
+21. cond  1,  :if => '1', :then => 17, :else => 24
+22. cond  3,  :if => '1', :then => 21, :else => 23
+23. cond  1,  :if => 'B', :then => 25, :else => 24
+24. write 0,  :symbol => '0', :goto => 26
+25. write 0,  :symbol => '1', :goto => 26
+26. right 0,  :goto => 27
+27. halt

data/examples/concatenate_compare_19.mtm

@@ -0,0 +1,31 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with four binary numbers on the tape:
+# $ turing.rb concatenate_compare.mtm 110 1 11 01
+
+ 1. right 1,  goto: 2
+ 2. cond  1,  if: 'B', then: 3, else: 1
+ 3. right 2,  goto: 4
+ 4. cond  2,  if: '0', then: 7, else: 5
+ 5. cond  2,  if: '1', then: 6, else: 9
+ 6. write 1,  symbol: '1', goto: 8
+ 7. write 1,  symbol: '0', goto: 8
+ 8. right 1,  goto: 3
+ 9. right 3,  goto: 10
+10. cond  3,  if: 'B', then: 11, else: 9
+11. right 4,  goto: 12
+12. cond  4,  if: '0', then: 14, else: 13
+13. cond  4,  if: '1', then: 15, else: 17
+14. write 3,  symbol: '0', goto: 16
+15. write 3,  symbol: '1', goto: 16
+16. right 3,  goto: 11
+17. left  3,  goto: 18
+18. left  1,  goto: 19
+19. cond  3,  if: '0', then: 20, else: 22
+20. cond  1,  if: '0', then: 17, else: 24
+21. cond  1,  if: '1', then: 17, else: 24
+22. cond  3,  if: '1', then: 21, else: 23
+23. cond  1,  if: 'B', then: 25, else: 24
+24. write 0,  symbol: '0', goto: 26
+25. write 0,  symbol: '1', goto: 26
+26. right 0,  goto: 27
+27. halt

data/examples/length_difference.mtm

@@ -0,0 +1,17 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two [ab]* strings on the tapes:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm ab ababab 
+
+ 1. right 1,  :goto => 2
+ 2. right 2,  :goto => 3
+ 3. cond  1,  :if => 'B', :then => 5, :else => 4
+ 4. cond  2,  :if => 'B', :then => 9, :else => 1
+ 5. cond  2,  :if => 'B', :then => 13, :else => 6
+ 6. write 0,  :symbol => 'b', :goto => 7
+ 7. right 0,  :goto => 8
+ 8. right 2,  :goto => 5
+ 9. write 0,  :symbol => 'a', :goto => 10
+10. right 0,  :goto => 11
+11. right 1,  :goto => 12
+12. cond  1,  :if => 'B', :then => 13, :else => 9
+13. halt

data/examples/length_difference_19.mtm

@@ -0,0 +1,17 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two [ab]* strings on the tapes:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm ab ababab 
+
+ 1. right 1,  goto: 2
+ 2. right 2,  goto: 3
+ 3. cond  1,  if: 'B', then: 5, else: 4
+ 4. cond  2,  if: 'B', then: 9, else: 1
+ 5. cond  2,  if: 'B', then: 13, else: 6
+ 6. write 0,  symbol: 'b', goto: 7
+ 7. right 0,  goto: 8
+ 8. right 2,  goto: 5
+ 9. write 0,  symbol: 'a', goto: 10
+10. right 0,  goto: 11
+11. right 1,  goto: 12
+12. cond  1,  if: 'B', then: 13, else: 9
+13. halt

data/examples/{mm.rb → minsky.rb}

@@ -3,7 +3,7 @@
 require 'dslkit/polite'
 
 # A small Minsky (register) machine
-module MM
+module Minsky
   class InterpreterError < StandardError; end
 
   class ::Proc
@@ -136,9 +136,9 @@ end
 
 if $0 == __FILE__
   if ARGV.empty?
-    MM::Interpreter.new(STDIN.read).run
+    Minsky::Interpreter.new(STDIN.read).run
   else
-    interpreter = MM::Interpreter.new(File.read(ARGV.shift))
+    interpreter = Minsky::Interpreter.new(File.read(ARGV.shift))
     interpreter.stepping = !ARGV.empty?
     interpreter.run
   end

data/examples/ones_difference.mtm

@@ -0,0 +1,12 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.mtm 1111 11
+
+0. right 1, :goto => 1
+1. right 2, :goto => 2
+2. cond  1, :if => '1', :then => 3, :else => 4
+3. cond  2, :if => '1', :then => 0, :else => 5
+4. cond  2, :if => '1', :then => 5, :else => 7
+5. write 0, :symbol => '1', :goto => 6
+6. left  0, :goto => 0
+7. halt

data/examples/ones_difference.stm

@@ -0,0 +1,25 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.stm 1111 11
+
+ 1. right :goto => 2
+ 2. cond  :if => '1', :then => 1, :else => 3
+ 3. right :goto => 4
+ 4. cond  :if => '1', :then => 5, :else => 17
+ 5. right :goto => 6
+ 6. cond  :if => '1', :then => 5, :else => 7
+ 7. left  :goto => 8
+ 8. write :symbol => 'B', :goto => 9
+ 9. left  :goto => 10
+10. cond  :if => '1', :then => 9, :else => 11
+11. left  :goto => 12
+12. cond  :if => '1', :then => 11, :else => 13
+13. right :goto => 14
+14. cond  :if => '1', :then => 15, :else => 16
+15. write :symbol => 'B', :goto => 1
+16. write :symbol => '1', :goto => 18
+17. left  :goto => 20
+18. right :goto => 19
+19. cond  :if => '1', :then => 18, :else => 21
+20. halt
+21. halt

data/examples/ones_difference_19.mtm

@@ -0,0 +1,12 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.mtm 1111 11
+
+0. right 1, goto: 1
+1. right 2, goto: 2
+2. cond  1, if: '1', then: 3, else: 4
+3. cond  2, if: '1', then: 0, else: 5
+4. cond  2, if: '1', then: 5, else: 7
+5. write 0, symbol: '1', goto: 6
+6. left  0, goto: 0
+7. halt

data/examples/ones_difference_19.stm

@@ -0,0 +1,25 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.stm 1111 11
+
+ 1. right goto: 2
+ 2. cond  if: '1', then: 1, else: 3
+ 3. right goto: 4
+ 4. cond  if: '1', then: 5, else: 17
+ 5. right goto: 6
+ 6. cond  if: '1', then: 5, else: 7
+ 7. left  goto: 8
+ 8. write symbol: 'B', goto: 9
+ 9. left  goto: 10
+10. cond  if: '1', then: 9, else: 11
+11. left  goto: 12
+12. cond  if: '1', then: 11, else: 13
+13. right goto: 14
+14. cond  if: '1', then: 15, else: 16
+15. write symbol: 'B', goto: 1
+16. write symbol: '1', goto: 18
+17. left  goto: 20
+18. right goto: 19
+19. cond  if: '1', then: 18, else: 21
+20. halt
+21. halt

data/examples/prefix-equals-suffix-reversed-with-infix.stm

@@ -0,0 +1,38 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with a binary number on the tape:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm 100101001
+
+ 0. right :goto => 1
+ 1. cond  :if => '0', :then => 2, :else => 13
+ 2. write :symbol => 'O', :goto => 3
+ 3. right :goto => 4
+ 4. cond  :if => 'B', :then => 21, :else => 5
+ 5. right :goto => 6
+ 6. cond  :if => 'B', :then => 7, :else => 5
+ 7. left  :goto => 8
+ 8. cond  :if => '0', :then => 9, :else => 21
+ 9. write :symbol => 'B', :goto => 10
+10. left  :goto => 11
+11. cond  :if => '0', :then => 10, :else => 12
+12. cond  :if => '1', :then => 10, :else => 0
+13. cond  :if => '1', :then => 14, :else => 31
+14. write :symbol => 'I', :goto => 15
+15. right :goto => 16
+16. cond  :if => 'B', :then => 21, :else => 17
+17. right :goto => 18
+18. cond  :if => 'B', :then => 19, :else => 17
+19. left  :goto => 20
+20. cond  :if => '1', :then => 9, :else => 21
+21. write :symbol => 'B', :goto => 22
+22. left  :goto => 23
+23. cond  :if => '0', :then => 21, :else => 24
+24. cond  :if => '1', :then => 21, :else => 25
+25. write :symbol => 'B', :goto => 26
+26. left  :goto => 27
+27. cond  :if => 'O', :then => 29, :else => 28
+28. cond  :if => 'I', :then => 30, :else => 32
+29. write :symbol => '0', :goto => 26
+30. write :symbol => '1', :goto => 26
+31. halt
+32. right :goto => 33
+33. cond  :if => 'B', :then => 31, :else => 32

data/examples/prefix-equals-suffix-reversed-with-infix_19.stm

@@ -0,0 +1,38 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with a binary number on the tape:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm 100101001
+
+ 0. right goto: 1
+ 1. cond  if: '0', then: 2, else: 13
+ 2. write symbol: 'O', goto: 3
+ 3. right goto: 4
+ 4. cond  if: 'B', then: 21, else: 5
+ 5. right goto: 6
+ 6. cond  if: 'B', then: 7, else: 5
+ 7. left  goto: 8
+ 8. cond  if: '0', then: 9, else: 21
+ 9. write symbol: 'B', goto: 10
+10. left  goto: 11
+11. cond  if: '0', then: 10, else: 12
+12. cond  if: '1', then: 10, else: 0
+13. cond  if: '1', then: 14, else: 31
+14. write symbol: 'I', goto: 15
+15. right goto: 16
+16. cond  if: 'B', then: 21, else: 17
+17. right goto: 18
+18. cond  if: 'B', then: 19, else: 17
+19. left  goto: 20
+20. cond  if: '1', then: 9, else: 21
+21. write symbol: 'B', goto: 22
+22. left  goto: 23
+23. cond  if: '0', then: 21, else: 24
+24. cond  if: '1', then: 21, else: 25
+25. write symbol: 'B', goto: 26
+26. left  goto: 27
+27. cond  if: 'O', then: 29, else: 28
+28. cond  if: 'I', then: 30, else: 32
+29. write symbol: '0', goto: 26
+30. write symbol: '1', goto: 26
+31. halt
+32. right goto: 33
+33. cond  if: 'B', then: 31, else: 32

data/examples/turing-graph.rb

@@ -0,0 +1,17 @@
+#!/usr/bin/env ruby
+
+require File.join(File.dirname(__FILE__), 'turing')
+include Turing
+
+filename, *tapes = ARGV
+machine_type =
+  case ext = File.extname(filename)
+  when '.stm'
+    SingleTapeMachine
+  when '.mtm'
+    MultiTapeMachine
+  else
+    raise "unknown turing machine suffix: #{ext}, use .stm or .mtm"
+  end
+tm = machine_type.new(File.read(filename))
+print tm.to_graphviz