turing_machine 0.0.2

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 6270dca8cb1652af9e145537e52bb199d0cd7190
+  data.tar.gz: 3f57b50ac59a9849fe4d59640d166aeaf8166446
+SHA512:
+  metadata.gz: 440063906e7969e16d560a98878e9ee2e3eb85916ffd06cb60cf438d6d4d7b836b6693da4e07d9edc607b509c2445d1104ae5b453d18a36f0c9ff527bbf56536
+  data.tar.gz: fd2ee8011de8838ddb7ab259ae9b2ae2ed42d3664a2401202a4441e094cef67e4b5e974da29c651b334822db38cd2e0f043b045f86f86109149809fb72fdca23

data/.coco.yml

@@ -0,0 +1,2 @@
+:excludes:
+- lib/turing_machine/version.rb

data/.gitignore

@@ -0,0 +1,15 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+*.bundle
+*.so
+*.o
+*.a
+mkmf.log
+TODO

data/.rspec

@@ -0,0 +1,2 @@
+--format documentation
+--color

data/.travis.yml

@@ -0,0 +1,3 @@
+language: ruby
+rvm:
+  - 2.2.0

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in turing_machine.gemspec
+gemspec

data/LICENSE.txt

@@ -0,0 +1,22 @@
+Copyright (c) 2015 lkdjiin
+
+MIT License
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,38 @@
+TuringMachine
+=============
+
+> A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal machine.
+> — Alan Turing
+
+![Photo of Alan Turing](alan-turing2.jpg)
+
+Currently, in version 0.0.2, you could just run the hardcoded 3 states busy beaver
+algorithm. There is nothing to tweak.
+I wish to be able to run any instruction sets in a very near future.
+
+## Installation
+
+Install it with:
+
+    $ gem install turing_machine
+
+## Usage
+
+    $ turing_machine
+
+## Contributing
+
+1. Fork it ( https://github.com/[my-github-username]/turing_machine/fork )
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Add some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create a new Pull Request
+
+## License
+
+MIT, see LICENSE.TXT
+
+## Questions and/or Comments
+
+Feel free to email [Xavier Nayrac](mailto:xavier.nayrac@gmail.com)
+with any questions, or contact me on [twitter](https://twitter.com/lkdjiin).

data/Rakefile

@@ -0,0 +1,7 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec
+

data/bin/turing_machine

@@ -0,0 +1,24 @@
+#!/usr/bin/env ruby
+
+require 'turing_machine'
+
+include TuringMachine
+
+instructions = {
+  ['0', 'A'] => {write: '1', move: 'R', next_state: 'B'},
+  ['1', 'A'] => {write: '1', move: 'L', next_state: 'C'},
+  ['0', 'B'] => {write: '1', move: 'L', next_state: 'A'},
+  ['1', 'B'] => {write: '1', move: 'R', next_state: 'B'},
+  ['0', 'C'] => {write: '1', move: 'L', next_state: 'B'},
+  ['1', 'C'] => {write: '1', move: 'R', next_state: 'HALT'},
+}
+
+initial_state = 'A'
+
+instance = Instance.new(instructions, initial_state)
+
+loop do
+  puts instance.to_s
+  break if instance.halted?
+  instance.proceed
+end

data/lib/turing_machine.rb

@@ -0,0 +1,9 @@
+require "turing_machine/version"
+require 'turing_machine/tape'
+require 'turing_machine/state_register'
+require 'turing_machine/instruction'
+require 'turing_machine/instance'
+
+module TuringMachine
+  # Your code goes here...
+end

data/lib/turing_machine/instance.rb

@@ -0,0 +1,57 @@
+module TuringMachine
+
+  # Public: An instance of a Turing machine.
+  class Instance
+
+    def initialize(instructions, initial_state)
+      @instruction = Instruction.new(instructions)
+      @state = StateRegister.new(initial_state)
+      @tape = Tape.new
+      @sequence = 1
+    end
+
+    def to_s
+      "#{'%3d' % @sequence} #{@tape} #{@state}#{instr_to_s}\n    " +
+      ' ' * @tape.index + '^'
+    end
+
+    def proceed
+      current = action
+      update_sequence
+      update_tape(current)
+      update_state(current)
+    end
+
+    def halted?
+      @state.current == 'HALT'
+    end
+
+    private
+
+    def update_sequence
+      @sequence += 1
+    end
+
+    def update_tape(current_action)
+      @tape.head = current_action[:write]
+      current_action[:move] == 'L' ? @tape.shift_left : @tape.shift_right
+    end
+
+    def update_state(current_action)
+      @state.change(current_action[:next_state])
+    end
+
+    def action
+      @instruction.for(@tape.head, @state.current)
+    end
+
+    def instr_to_s
+      if halted?
+        ''
+      else
+        " -> " + action[:write] + action[:move] + action[:next_state]
+      end
+    end
+  end
+
+end

data/lib/turing_machine/instruction.rb

@@ -0,0 +1,15 @@
+module TuringMachine
+
+  # Public: The instruction table of a Turing machine.
+  class Instruction
+
+    def initialize(table)
+      @table = table
+    end
+
+    def for(symbol, state)
+      @table[[symbol, state]]
+    end
+
+  end
+end

data/lib/turing_machine/state_register.rb

@@ -0,0 +1,23 @@
+module TuringMachine
+
+  # Public: The state register of a Turing machine.
+  class StateRegister
+
+    def initialize(state)
+      @state = state
+    end
+
+    def current
+      @state
+    end
+
+    def change(new_state)
+      @state = new_state
+    end
+
+    def to_s
+      @state.to_s
+    end
+  end
+
+end

data/lib/turing_machine/tape.rb

@@ -0,0 +1,40 @@
+module TuringMachine
+
+  # Public: The tape of a Turing machine, combined with the head.
+  class Tape
+
+    def initialize
+      # @symbols = [ '0' ]
+      # @index = 0
+      @symbols = Array.new(10) { '0' }
+      @index = 4
+    end
+
+    attr_reader :index
+
+    # def size
+    #   @symbols.size
+    # end
+
+    def head
+      @symbols[@index]
+    end
+
+    def head=(symbol)
+      @symbols[@index] = symbol
+    end
+
+    def shift_left
+      @index -= 1
+    end
+
+    def shift_right
+      @index += 1
+    end
+
+    def to_s
+      @symbols.join
+    end
+  end
+
+end

data/lib/turing_machine/version.rb

@@ -0,0 +1,3 @@
+module TuringMachine
+  VERSION = "0.0.2"
+end

data/spec/instance_spec.rb

@@ -0,0 +1,57 @@
+require 'spec_helper'
+
+include TuringMachine
+
+instructions = {
+  ['0', 'A'] => {write: '1', move: 'R', next_state: 'B'},
+  ['1', 'A'] => {write: '1', move: 'L', next_state: 'C'},
+  ['0', 'B'] => {write: '1', move: 'L', next_state: 'A'},
+  ['1', 'B'] => {write: '1', move: 'R', next_state: 'B'},
+  ['0', 'C'] => {write: '1', move: 'L', next_state: 'B'},
+  ['1', 'C'] => {write: '1', move: 'R', next_state: 'HALT'},
+}
+
+initial_state = 'A'
+
+describe Instance do
+  it 'produces an output' do
+    instance = Instance.new(instructions, initial_state)
+    expected = "  1 0000000000 A -> 1RB\n" +
+               "        ^"
+    expect(instance.to_s).to eq expected
+  end
+
+  it 'computes a step' do
+    instance = Instance.new(instructions, initial_state)
+    instance.proceed
+    expected = "  2 0000100000 B -> 1LA\n" +
+               "         ^"
+    expect(instance.to_s).to eq expected
+  end
+
+  context 'when halted' do
+
+    it 'tells if the machine is halted' do
+      instructions = {
+        ['0', 'A'] => {write: '1', move: 'R', next_state: 'HALT'}
+      }
+      instance = Instance.new(instructions, initial_state)
+      expect(instance.halted?).to eq false
+      instance.proceed
+      expect(instance.halted?).to eq true
+    end
+
+    it 'outputs especially' do
+      instructions = {
+        ['0', 'A'] => {write: '1', move: 'R', next_state: 'HALT'}
+      }
+      instance = Instance.new(instructions, initial_state)
+      instance.proceed
+      expected = "  2 0000100000 HALT\n" +
+                 "         ^"
+      expect(instance.to_s).to eq expected
+    end
+
+  end
+
+end

data/spec/instruction_spec.rb

@@ -0,0 +1,21 @@
+require 'spec_helper'
+
+include TuringMachine
+
+describe Instruction do
+
+  let(:instruction) do
+    Instruction.new({
+      ['0', 'A'] => {write: '1', move: 'R', next_state: 'B'},
+      ['1', 'A'] => {write: '1', move: 'L', next_state: 'C'},
+    })
+  end
+
+  it 'finds actions' do
+    hash = instruction.for('0', 'A')
+    expect(hash[:write]).to eq '1'
+    expect(hash[:move]).to eq 'R'
+    expect(hash[:next_state]).to eq 'B'
+  end
+
+end

data/spec/spec_helper.rb

@@ -0,0 +1,3 @@
+$LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
+require 'coco'
+require 'turing_machine'

data/spec/state_register_spec.rb

@@ -0,0 +1,22 @@
+require 'spec_helper'
+
+include TuringMachine
+
+describe StateRegister do
+
+  let(:state) { StateRegister.new('A') }
+
+  it 'has a current starting state' do
+    expect(state.current).to eq 'A'
+  end
+
+  it 'has a string representation' do
+    expect("#{state}").to eq 'A'
+  end
+
+  it 'could change the state' do
+    state.change('B')
+    expect(state.current).to eq 'B'
+  end
+
+end

data/spec/tape_spec.rb

@@ -0,0 +1,50 @@
+require 'spec_helper'
+
+include TuringMachine
+
+describe Tape do
+
+  let(:tape) { Tape.new }
+
+  describe '.new' do
+
+    # it 'has a single cell' do
+    #   expect(tape.size).to eq 1
+    # end
+
+    it 'has a initial current symbol of "0"' do
+      expect(tape.head).to eq '0'
+    end
+
+  end
+
+  describe '#head=' do
+
+    it 'writes to the tape' do
+      tape.head = '1'
+      expect(tape.head).to eq '1'
+    end
+
+  end
+
+  describe 'moves' do
+
+    it 'moves to the cell to the left' do
+      tape.head = '1'
+      tape.shift_left
+      expect(tape.head).to eq '0'
+    end
+
+    it 'moves to the cell to the right' do
+      tape.head = '1'
+      tape.shift_right
+      expect(tape.head).to eq '0'
+    end
+
+  end
+
+  it 'has a string representation' do
+    expect("#{tape}").to eq '0000000000'
+  end
+
+end

data/spec/turing_machine_spec.rb

@@ -0,0 +1,7 @@
+require 'spec_helper'
+
+describe TuringMachine do
+  it 'has a version number' do
+    expect(TuringMachine::VERSION).not_to be nil
+  end
+end

data/turing_machine.gemspec

@@ -0,0 +1,27 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'turing_machine/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "turing_machine"
+  spec.version       = TuringMachine::VERSION
+  spec.authors       = ["Xavier Nayrac"]
+  spec.email         = ["xavier.nayrac@gmail.com"]
+  spec.summary       = %q{Turing machine}
+  spec.description   = %q{Turing machine}
+  spec.homepage      = "http://lkdjiin.github.com/turing_machine/"
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0")
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.7"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec", "~> 3.1"
+  spec.add_development_dependency "reek", "~> 1.6"
+  spec.add_development_dependency "flay", "~> 2.6"
+  spec.add_development_dependency "coco", "~> 0.12"
+end

metadata

@@ -0,0 +1,158 @@
+--- !ruby/object:Gem::Specification
+name: turing_machine
+version: !ruby/object:Gem::Version
+  version: 0.0.2
+platform: ruby
+authors:
+- Xavier Nayrac
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2015-02-01 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
+- !ruby/object:Gem::Dependency
+  name: reek
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.6'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.6'
+- !ruby/object:Gem::Dependency
+  name: flay
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.6'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.6'
+- !ruby/object:Gem::Dependency
+  name: coco
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.12'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.12'
+description: Turing machine
+email:
+- xavier.nayrac@gmail.com
+executables:
+- turing_machine
+extensions: []
+extra_rdoc_files: []
+files:
+- ".coco.yml"
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- alan-turing2.jpg
+- bin/turing_machine
+- lib/turing_machine.rb
+- lib/turing_machine/instance.rb
+- lib/turing_machine/instruction.rb
+- lib/turing_machine/state_register.rb
+- lib/turing_machine/tape.rb
+- lib/turing_machine/version.rb
+- spec/instance_spec.rb
+- spec/instruction_spec.rb
+- spec/spec_helper.rb
+- spec/state_register_spec.rb
+- spec/tape_spec.rb
+- spec/turing_machine_spec.rb
+- turing_machine.gemspec
+homepage: http://lkdjiin.github.com/turing_machine/
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.5
+signing_key: 
+specification_version: 4
+summary: Turing machine
+test_files:
+- spec/instance_spec.rb
+- spec/instruction_spec.rb
+- spec/spec_helper.rb
+- spec/state_register_spec.rb
+- spec/tape_spec.rb
+- spec/turing_machine_spec.rb