Automated Grading of Automata with ACL2s.

Ankit Kumar Andrew T. Walter Panagiotis Manolios

Published in: CoRR (2023)

Keyphrases

semi automated
finite state
cellular automata
real world
regular expressions
fully automated
data driven
genetic algorithm
e learning
information systems
context sensitive
artificial intelligence
information retrieval
neural network
finite automata
finite state automata
natural language learning