Examples of eas.math.fundamentalAlgorithms.graphBased.script.FancyJButton

Package eas.math.fundamentalAlgorithms.graphBased.script

Examples of eas.math.fundamentalAlgorithms.graphBased.script.FancyJButton

eas.math.fundamentalAlgorithms.graphBased.script.FancyJButton
@author Lukas König

                () -> "latex: " + StaticMethodsKA.getTransitionsLatex(this.getAllTransitions(), this.kellerZeichen, this.lambda) + "\n" + LaTeX.FORMULA_MODE_OPTIONS, 
                null, 
                null, 
                this.father);


        FancyJButton butt1 = new FancyJButton("Deterministic PDA");
        
        if (!this.isDeterministic()) {
            butt1 = new FancyJButton("Nondeterministic PDA", this.getDeterministicStateString().replace(
                    ":", ":\n").replace("],", "]\n").replace("[]", this.lambda).replace("[", "").replace("]", ""));
        }


        panel.add(butt1);
        panel.add(butt2);

View Full Code Here

    }
    
    @Override
    public JComponent getAdditionalInfo() {
        JPanel panel = new JPanel(new GridLayout(3, 1));
        FancyJButton butt1 = new FancyJButton("Deterministic Turing Machine");


        FancyScriptConverterJButton butt2 = new FancyScriptConverterJButton(
                "Show LaTeX state table", 
                () -> "latex: " + LaTeX.PREAMBLE_CROP_PAGE + this.getLatexTable() + LaTeX.POSTAMBLE_STANDARD, 
                null, 
                null, 
                super.getFather());
        
        if (!this.isDeterministic()) {
            butt1 = new FancyJButton("Nondeterministic Turing Machine", 
                    "Nondeterministic Turing Machine -- these are the nondeterministic transitions:\n\n" 
                            + this.getNondeterministicTrans().toString()
                                .replace(", ", ",\n").replace("[", "").replace("]", ""));
        }

View Full Code Here

    }
    
    @Override
    public JComponent getAdditionalInfo() {
        JPanel panel = new JPanel(new GridLayout(3, 1));
        FancyJButton butt1 = new FancyJButton(
                this.isDeterministic() ? (this.isMinimal() ? "Deterministic minimal FSM" : "Deterministic FSM") : "Nondeterministic FSM");
        FancyScriptConverterJButton butt2 = new FancyScriptConverterJButton(
                "Create equivalent grammar", 
                () -> generateType3Grammar().generateCode(), 
                null,

View Full Code Here

        } else {
            if (this.wordToParse != null && type == 2) {
                typeString2 = " (unique parse tree) ";
            }
            
            butt = new FancyJButton("TYPE-" + typeString + " Grammar" + typeString2, 
                    "Grammars have the following syntax:\n"
                            + "grammar [parse(*wordToParse*)--*X*]: *ListOfNonterminals*: *ListOfTerminals*: *InitialSymbol*: *maxDepth-X*: *cutNTBranches-B*: *cutDoubleBranches-B*: *maxLengthWords-X*: *production rules*\n\n"
                            + "[Square brackets are optional]; X is an integer; B is 'true' or 'false'; Lists are Strings separated by commas.\n"
                            + "The optional parse argument works only with type-2 grammars and draws a syntax rather than a derivation tree.\nThe number denotes the tree number if more than one tree is possible.");
        }

View Full Code Here

TOP

Related Classes of eas.math.fundamentalAlgorithms.graphBased.script.FancyJButton

eas.math.fundamentalAlgorithms.graphBased.algorithms.fsm.FSM

eas.math.fundamentalAlgorithms.graphBased.algorithms.pushDown.PDA

eas.math.fundamentalAlgorithms.graphBased.algorithms.turingMachine.Turing

eas.math.fundamentalAlgorithms.graphBased.algorithms.type0grammars.Grammar

eas.miscellaneous.system.windowFrames.GeneralDialog

java.awt.event.MouseListener

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.