Download Latest Version smc-maven-plugin-7.6.0.jar (25.9 kB)
Email in envelope

Get an email when there's a new version of SMC - The State Machine Compiler

Home / SMC 7.3.0 / Examples / Java / EX3
Name Modified Size InfoDownloads / Week
Parent folder
AppClass.java 2021-11-11 4.9 kB
0
checkstring.java 2021-11-11 2.0 kB
0
README.txt 2021-11-11 1.3 kB
0
AppClass.sm 2021-11-11 4.4 kB
0
Makefile 2021-11-11 7.2 kB
0
Totals: 5 Items   19.9 kB 0 


                         Java Example 3


This state machine "recognizes" the palindromes (words that read the
same backwards as forwards). The words consist of the alphabet
{0, 1, c} where the letter 'c' may appear only once and marks the
words center.


+ Building
----------

NOTE: Smc.jar must be built and installed.

Unix & Windows:
    $ make checkstring


+ Executing
-----------

Unix:

    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring <string>

Windows:

    $ java -classpath ${CLASSPATH};../../../lib/statemap.jar checkstring <string>

Try several different strings, such as:

    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring ""
      -> unacceptable
    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring 00
      -> unacceptable
    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring 1c
      -> unacceptable
    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring c0
      -> unacceptable
    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring abcba
      -> unacceptable
    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring 110010c010011
      -> acceptable
    $ java -classpath ${CLASSPATH}:../../../lib/statemap.jar checkstring 110010c110010
      -> unacceptable
Source: README.txt, updated 2021-11-11