Реализовать автомат с магазинной памятью

using System;
using System.Collections.Generic;
using System.Collections;
using System.Linq;
using System.Text;
 
namespace prac2
{
    class Rule
    {
        private string Left = null;
        private ArrayList Right = null;
        public string left { get { return Left; } set { Left = value; } }
        public ArrayList right { get { return Right; } set { Right = value; } }
        public Rule(string Left, ArrayList Right)
        {
            this.Left = Left;
            this.Right = Right;
        }
        public void Write()
        {
            System.Console.Write(this.left + " -> ");
            foreach (string str in this.Right)
                System.Console.Write(str + " ");
            System.Console.WriteLine();
        }
 
    }
    class Gramma
    {
        public ArrayList RuleList = new ArrayList();
        public Gramma()
        {
            CreateRuleList();
        }
 
        public Gramma(int t)
        {
         //   CreateRuleList();
        }
 
        public void CreateRuleList()
        {
            Rule rule = null;
            rule = new Rule("S", new ArrayList { "c", "F", "C", "B" });
            RuleList.Add(rule);
            rule = new Rule("A", new ArrayList { "A", "C", "b" });
            RuleList.Add(rule);
            rule = new Rule("A", new ArrayList { "c", "C" });
            RuleList.Add(rule);
            rule = new Rule("B", new ArrayList { "c", "C" });
            RuleList.Add(rule);
            rule = new Rule("C", new ArrayList { "C", "a" });
            RuleList.Add(rule);
            rule = new Rule("F", new ArrayList { "d" });
            RuleList.Add(rule);
        }
 
        public void WriteRules()
        {
            foreach (Rule r in this.RuleList)
                r.Write();
        }
 
 
    }
 
    class Reach
    {
 
        public Gramma G = null;
        public Gramma GN = null;
        public Gramma buf = null;
 
        public Reach(Gramma G, Gramma GN, Gramma buf)
        {
            this.G = G;
            this.GN = GN;
            this.buf = buf;
 
        }
        public void reachable(string str)
        {
 
            foreach (Rule r in this.G.RuleList)
                if (r.left.Equals(str))
                {
                    int ready = 0;
                    int count = 0;
                    foreach (string s in r.right)
                        count++;
                    foreach (string s in r.right)
                    {
                        if (str != s)
                        {
                            if (s.Equals(s.ToUpper()))
                                reachable(s);
                            if (ready + 1 == count)
                            {
                                this.buf.RuleList.Add(r);
                                if (str == "S")
                                {
                                    int flag = 0;
                                    foreach (Rule SearchRule in this.buf.RuleList)
                                        if (SearchRule.left == "!") flag = 1;
                                    if (flag != 1)
                                    {
                                        this.buf.RuleList.Reverse();
                                        foreach (Rule AddRule in this.buf.RuleList)
                                        {
                                            this.GN.RuleList.Add(AddRule);
                                        }
                                    }
                                    this.buf.RuleList.Clear();
                                }
                            }
                            ready++;
                        }
                        else
                        {
                            r.left = "!";
                            this.buf.RuleList.Add(r);
                        }
                    }
                }
        }
 
    }
 
    class Program
    {
 
        static void Main(string[] args)
        {
            Gramma g = new Gramma();
            Gramma buf = new Gramma(1);
            System.Console.WriteLine("Old:");
            g.WriteRules();
            Gramma gn = new Gramma(1);
            Reach R = new Reach(g, gn, buf);
            R.reachable("S");
            System.Console.WriteLine("New:");
            gn.WriteRules();
            Console.ReadLine();
        }
    }
}