Automata and Formal Languages 2012/13

News | Dates | Grading | Content | Exercises | Exam | Material | Programming Assignment

The first part

The task description is here. If anything is unclear, write me an email.

If you have fixed your programming group (you shall work in pairs) write me (jan.kretinsky AT in.tum.de) an email with the subject AFL-SVN and a body containing
name1 student-id-number1
name2 student-id-number2
and I will reply with your repository name, login and password for your svn. You can then checkout your repository by
svn co https://svn.model.in.tum.de/user/kretinsk/⟨name⟩ --username ⟨login⟩ --password ⟨password⟩
You can try out this example:
svn co https://svn.model.in.tum.de/user/kretinsk/repo40 --username stud40 --password UjhnFdCH

You should upload your final solution to this svn by December 18.

The files needed for parsing the regular expressions from the assignment and an example class Main illustrating its usage can be found here. The files are only provided for Java, but the ANTLR grammar regexp.g can serve to generate parser in other languages as e.g. C++ using ANTLR.

The second part

The task description of the second part is here.

Feedback on the first part

• 1: Searches only in the first line of the text. If there is an occurrence, I get Exception in thread "main" java.lang.UnsupportedClassVersionError: afl/assignment1/Main : Unsupported major.minor version 51.0 at java.lang.ClassLoader.defineClass1(Native Method) at java.lang.ClassLoader.defineClassCond(ClassLoader.java:631) at java.lang.ClassLoader.defineClass(ClassLoader.java:615) at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:141) at java.net.URLClassLoader.defineClass(URLClassLoader.java:283) at java.net.URLClassLoader.access$000(URLClassLoader.java:58) at java.net.URLClassLoader$1.run(URLClassLoader.java:197) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:190) at java.lang.ClassLoader.loadClass(ClassLoader.java:306) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301) at java.lang.ClassLoader.loadClass(ClassLoader.java:247) Could not find the main class: afl.assignment1.Main. Program will exit.
  automaton construction ok
• 2: returns empty files, finds no occurrences
• 3: ok
• 4: ok
• 5: ok (late)
• 6: ok
• 7: no command (only eclipse), no jar - will be tested later
• 8: does not return non-extended expression when called with -m
• 9: empty
• 10: empty
• 11: Exception in thread "main" java.lang.UnsupportedClassVersionError: afl1/Main : Unsupported major.minor version 51.0 at java.lang.ClassLoader.defineClass1(Native Method) at java.lang.ClassLoader.defineClassCond(ClassLoader.java:631) at java.lang.ClassLoader.defineClass(ClassLoader.java:615) at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:141) at java.net.URLClassLoader.defineClass(URLClassLoader.java:283) at java.net.URLClassLoader.access$000(URLClassLoader.java:58) at java.net.URLClassLoader$1.run(URLClassLoader.java:197) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:190) at java.lang.ClassLoader.loadClass(ClassLoader.java:306) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301) at java.lang.ClassLoader.loadClass(ClassLoader.java:247) Could not find the main class: afl1.Main. Program will exit.
• 12: Failed to load Main-Class manifest attribute from re.jar

Feedback on the secondt part

• 1: the alphabet should not always be the whole a,...,z,0,1, but depends on the automata from the expression
• 2: ok
• 3: ok
• 4: ok
• 5: classnotfound
• 6: ok
• 7: -
• 8: ok
• 9: -
• 10: -
• 11: ok
• 12: -