AutoGraf for Android

AutoGraf is an engaging Android application designed for users interested in finite state automata and regular languages. This free lifestyle app allows users to build, simulate, and visualize both deterministic (DFA) and non-deterministic (NFA) finite automata through an intuitive drag-and-drop interface. Users can easily add states, define initial and accept states, and create transitions using custom symbols, making it accessible for learners and enthusiasts alike. The application also features a step-by-step string simulation that highlights the current state, supporting epsilon transitions for NFAs. Users can explore preset automata examples such as binary even numbers and palindromes, and the app provides a full simulation with clear accept/reject results. With a focus on privacy, all data is stored locally on the device, ensuring a secure and user-friendly experience.