automata 0.0.1

data/.gitignore

@@ -0,0 +1,17 @@
+*.gem
+*.rbc
+.bundle
+.config
+.yardoc
+Gemfile.lock
+InstalledFiles
+_yardoc
+coverage
+doc/
+lib/bundler/man
+pkg
+rdoc
+spec/reports
+test/tmp
+test/version_tmp
+tmp

data/.rspec

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

data/Gemfile

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

data/LICENSE

@@ -0,0 +1,22 @@
+Copyright (c) 2012 Jico Baligod
+
+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,29 @@
+# Automata
+
+A sweet Ruby gem for creating and simulating deterministic/nondeterministic finite automata, push-down automata, and Turing machines.
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+    gem 'automata'
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install automata
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Contributing
+
+1. Fork it
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Added some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create new Pull Request

data/Rakefile

@@ -0,0 +1,2 @@
+#!/usr/bin/env rake
+require "bundler/gem_tasks"

data/automata.gemspec

@@ -0,0 +1,20 @@
+# -*- encoding: utf-8 -*-
+require File.expand_path('../lib/automata/version', __FILE__)
+
+Gem::Specification.new do |gem|
+  gem.authors       = ["Jico Baligod"]
+  gem.email         = ["jico@baligod.com"]
+  gem.description   = %q{Create and simulate automaton.}
+  gem.summary       = %q{This gem provides a number of classes to create and simulate Deterministic/Nondeterministic Finite Automata, Push-down Automata, and Turing Machines.}
+  gem.homepage      = "http://github.com/jico/automata"
+
+  gem.executables   = `git ls-files -- bin/*`.split("\n").map{ |f| File.basename(f) }
+  gem.files         = `git ls-files`.split("\n")
+  gem.test_files    = `git ls-files -- {test,spec,features}/*`.split("\n")
+  gem.name          = "automata"
+  gem.require_paths = ["lib"]
+  gem.version       = Automata::VERSION
+  
+  gem.add_development_dependency "rake"
+  gem.add_development_dependency "rspec", "~>2.9.0"
+end

data/examples/dfa_sample.yml

@@ -0,0 +1,20 @@
+states:
+  - q1
+  - q2
+  - q3
+alphabet:
+  - '0'
+  - '1'
+start: q1
+accept:
+  - q3
+transitions:
+  q1:
+    '0': q2
+    '1': q2
+  q2:
+    '0': q1
+    '1': q3
+  q3:
+    '0': q3
+    '1': q3

data/lib/automata/dfa.rb

@@ -0,0 +1,49 @@
+module Automata
+  
+  ##
+  # Deterministic Finite Automata.
+  # 
+  # Each state of a DFA must have exactly one transition for each transition
+  # defined at creation.
+  #
+  #--
+  # TODO: Check that each state is connected.
+  #
+  class DFA < StateDiagram
+    
+    ##
+    # Verify that the initialized DFA is valid.
+    #
+    # * *Returns*:
+    #   Whether or not the DFA is valid (boolean).
+    #
+    def is_valid?
+      @transitions.each do |key, val|
+        @alphabet.each { |a| return false unless @transitions[key].has_key? a }
+      end
+      true
+    end
+    
+    ##
+    # Determines whether the DFA accepts the given string.
+    #
+    # * *Args*:
+    #   - +string* -> The string to use as input for the DFA.
+    #
+    # * *Returns*:
+    #   Whether or not the DFA accepts the string (boolean).
+    #
+    def accepts?(string)
+      head = @start
+      string.each_char do |symbol|
+        head = @transitions[head][symbol]
+      end
+      is_accept_state? head
+    end
+    
+    def is_accept_state?(state)
+      @accept.include? state
+    end
+  end
+  
+end

data/lib/automata/state_diagram.rb

@@ -0,0 +1,32 @@
+module Automata
+  
+  ##
+  # A generic state diagram class represented as a 5-tuple.
+  #
+  #--
+  # TODO: Check for valid transitions against declared states and alphabet.
+  #
+  class StateDiagram
+    attr_accessor :states, :alphabet, :start, :accept, :transitions
+    
+    def initialize(params={})
+      @states = params[:states]
+      @alphabet = params[:alphabet]
+      @start = params[:start]
+      @accept = params[:accept]
+      @transitions = params[:transitions]
+    end
+    
+    def init_from_file(filename)
+      yaml = YAML::load_file(filename)
+      @states = yaml['states']
+      @alphabet = yaml['alphabet']
+      @start = yaml['start']
+      @accept = yaml['accept']
+      @transitions = yaml['transitions']
+      yaml
+    end
+    
+  end
+  
+end

data/lib/automata/version.rb

@@ -0,0 +1,3 @@
+module Automata
+  VERSION = "0.0.1"
+end

data/lib/automata.rb

@@ -0,0 +1,8 @@
+require "automata/version"
+require 'yaml'
+require "automata/state_diagram"
+require "automata/dfa"
+
+module Automata
+  # Your code goes here...
+end

data/spec/dfa_spec.rb

@@ -0,0 +1,30 @@
+require 'spec_helper'
+
+describe Automata::DFA do
+  context "Initializing from a valid file" do
+    before do
+      @dfa = Automata::DFA.new
+      @dfa.init_from_file('examples/dfa_sample.yml')
+    end
+    
+    it "should be valid" do
+      @dfa.is_valid?.should == true
+    end
+    
+    it "should accept '01'" do
+      @dfa.accepts?('01').should == true
+    end
+    
+    it "should accept '001101'" do
+      @dfa.accepts?('001101').should == true
+    end
+    
+    it "should not accept the empty string" do
+      @dfa.accepts?('').should == false
+    end
+    
+    it "should not accept '10'" do
+      @dfa.accepts?('10').should == false
+    end
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,14 @@
+# This file was generated by the `rspec --init` command. Conventionally, all
+# specs live under a `spec` directory, which RSpec adds to the `$LOAD_PATH`.
+# Require this file using `require "spec_helper.rb"` to ensure that it is only
+# loaded once.
+#
+# See http://rubydoc.info/gems/rspec-core/RSpec/Core/Configuration
+
+require_relative "../lib/automata"
+
+RSpec.configure do |config|
+  config.treat_symbols_as_metadata_keys_with_true_values = true
+  config.run_all_when_everything_filtered = true
+  config.filter_run :focus
+end

metadata

@@ -0,0 +1,90 @@
+--- !ruby/object:Gem::Specification
+name: automata
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+  prerelease: 
+platform: ruby
+authors:
+- Jico Baligod
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-04-23 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: &70249174639400 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: *70249174639400
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: &70249174654560 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 2.9.0
+  type: :development
+  prerelease: false
+  version_requirements: *70249174654560
+description: Create and simulate automaton.
+email:
+- jico@baligod.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- .gitignore
+- .rspec
+- Gemfile
+- LICENSE
+- README.md
+- Rakefile
+- automata.gemspec
+- examples/dfa_sample.yml
+- lib/automata.rb
+- lib/automata/dfa.rb
+- lib/automata/state_diagram.rb
+- lib/automata/version.rb
+- spec/dfa_spec.rb
+- spec/spec_helper.rb
+homepage: http://github.com/jico/automata
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+      segments:
+      - 0
+      hash: -2006038974877205235
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+      segments:
+      - 0
+      hash: -2006038974877205235
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.17
+signing_key: 
+specification_version: 3
+summary: This gem provides a number of classes to create and simulate Deterministic/Nondeterministic
+  Finite Automata, Push-down Automata, and Turing Machines.
+test_files:
+- spec/dfa_spec.rb
+- spec/spec_helper.rb