Программная реализация проверки существования языка KC-грамматики

package sample;
 
import java.util.HashMap;
import java.util.ArrayList;
import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.util.regex.Pattern;
import java.util.regex.Matcher;
import java.util.Arrays;
 
public class Controller
{
 
    public static void main(String[] args) throws Exception
    {
        BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
 
        HashMap<Integer,String> P = new HashMap<Integer,String>();
        ArrayList<String> list1 = new ArrayList<String>();
        ArrayList<String> list2 = new ArrayList<String>();
        ArrayList<String> terminals = new ArrayList<String>();
        ArrayList<String> nonterminals = new ArrayList<String>();
 
        System.out.println("Введите начальный символ грамматики:");
        String X = reader.readLine();
 
 
 
        System.out.println("Введите количество терминалов:");
        int nnn = Integer.parseInt(reader.readLine());
        System.out.println("Введите терминалы:");
 
 
        for(int i = 0; i < nnn; i++)
        {
            String s = reader.readLine();
            terminals.add(s);
        }
 
 
        System.out.println("Введите количество нетерминалов:");
        int nn = Integer.parseInt(reader.readLine());
        System.out.println("Введите нетерминалы:");
 
 
        for(int i = 0; i < nn; i++)
        {
            String s = reader.readLine();
            nonterminals.add(s);
        }
 
 
        System.out.println("Введите количество правил:");
 
        int n = Integer.parseInt(reader.readLine());
 
        int keyP=1;
        int keylist=1;
        System.out.println("Введите правила:");
        System.out.println("P.S. > alt+2+6");
 
        for(int i = 0; i < n; i++)
        {
            String s = reader.readLine();
            P.put(keyP++,s);
        }
 
        for(int i = 0; i < n; i++)
        {
            String S=P.get(keylist++);
            String G1 = S.substring(0, S.indexOf('→'));
            list1.add(G1);
            String G2 = S.substring(S.indexOf('→')+1);
            list2.add(G2);
        }
 
        int zeroGG = 0;
        int zero = 0;
        int one = n-1;
        int two = n-2;
 
        for (int i = one; i >= 0; i--)
        {
 
            String Q = list1.get(i);
            String QQ = list2.get(i);
            String QQQ = nonterminals.get(i);
 
            if (test(QQ))
            {
                for (int j=0;j<QQ.length();j++)
                {
                    String nT = nonterminals.get(j);
                    char nlol = nT.charAt(0);
                    if (QQ.charAt(j) == nlol)
                    {
                        String[] gg = new String[zeroGG++];
                        ArrayList<String> arrayList = new ArrayList<String>(Arrays.asList(gg));
                        arrayList.add(Q);
                        System.out.println("N" + zero++ + " = " + arrayList);
                        String W=Q;
                        char WW = W.charAt(0);
                        break;
                    }
                }
            }
        }
    }
 
    public static boolean test(String testString)
    {
        Pattern p = Pattern.compile("[a-zA-Z]++");
        Matcher m = p.matcher(testString);
        return m.matches();
    }
}