CS 4301 PDT Example

• The code for the implementation is shown below.

  // Mark Motl
  // CS 4301
  // Lab PDT Example
  
  #include <pdt.h>
  
  using namespace std;
  
  PDT::PDT()
  {
    name = "Your Name";
    labNumber = 8;
    description = "{x,c^i | x is in {a,b}* and i = # of a's in x = # of b's in x}";
  }
  
  void PDT::initializeMachine()
  {
    /*
     *-----------------------------------------------------------output symbol
     *---------------------------------------------------------next state    |
     *--------------------------------------------------------push pop  |    |
     *----------------------------------------------input symbol     |  |    |
     *-----------------------------------------stack symbol    |     |  |    |
     *------------------------current state               |    |     |  |    | */
    machine.insert(pair<uint, TableEntry>(1, TableEntry('*', 'a', "+a", 2, 'c')));
    machine.insert(pair<uint, TableEntry>(1, TableEntry('*', 'b', "+b", 3, '*')));
    machine.insert(pair<uint, TableEntry>(1, TableEntry('@', '%', " *", 0, '*')));
    machine.insert(pair<uint, TableEntry>(2, TableEntry('a', 'a', "+a", 2, 'c')));
    machine.insert(pair<uint, TableEntry>(2, TableEntry('a', 'b', "-a", 2, '*')));
    machine.insert(pair<uint, TableEntry>(2, TableEntry('@', '*', " *", 1, '*')));
    machine.insert(pair<uint, TableEntry>(3, TableEntry('b', 'a', "-b", 3, 'c')));
    machine.insert(pair<uint, TableEntry>(3, TableEntry('b', 'b', "+b", 3, '*')));
    machine.insert(pair<uint, TableEntry>(3, TableEntry('@', '*', " *", 1, '*')));
  }
  

• The commands to compile, link, and run this code are shown below.

  mmotl@csunix ~/public_html/4301/examples> make pdt-example
  g++ -g -Wall -std=c++11 -c lab08main.C -I/usr/local/4301/include -I.
  g++ -g -Wall -std=c++11 -c pdt-example.C -I/usr/local/4301/include -I.
  g++ -o pdt-example lab08main.o pdt-example.o -L/usr/local/4301/lib -lm
  mmotl@csunix ~/public_html/4301/examples> cat pdt-example.dat 
  
  ab
  ba
  a
  b
  aaabbb
  abab
  bbbaaa
  abbaabba
  abaabaaba
  aaaabb
  bbbbbbb
  aaaaabb
  mmotl@csunix ~/public_html/4301/examples> ./pdt-example < pdt-example.dat
  Your Name
  CS 4301
  Lab 8
  {x,c^i | x is in {a,b}* and i = # of a's in x = # of b's in x}
  
  Input:    Output:       ** accepted **
  
  Input:  ab  Output:  c     ** accepted **
  
  Input:  ba  Output:  c     ** accepted **
  
  Input:  a  Output:  c     -- NOT accepted --
  
  Input:  b  Output:       -- NOT accepted --
  
  Input:  aaabbb  Output:  ccc     ** accepted **
  
  Input:  abab  Output:  cc     ** accepted **
  
  Input:  bbbaaa  Output:  ccc     ** accepted **
  
  Input:  abbaabba  Output:  cccc     ** accepted **
  
  Input:  abaabaaba  Output:  cccccc     -- NOT accepted --
  
  Input:  aaaabb  Output:  cccc     -- NOT accepted --
  
  Input:  bbbbbbb  Output:       -- NOT accepted --
  
  Input:  aaaaabb  Output:  ccccc     -- NOT accepted --
  
  mmotl@csunix ~/public_html/4301/examples>