Programming Practice
Unit-5
FORMAL AND SYMBOLIC PROGRAMM
PARADIGM
23/11/2025 SYMBOLIC PROGRAMMING PARADIGM
,Outline of the Presentation
1. Automata Based programming Paradigm
--Finite Automata – DFA and NFA
--Implementing using Automaton Library
2. Symbolic Programming Paradigm
--Algebraic manipulations and calculus
-- Sympy Library
3. Event Programming Paradigm
--Event Handler;
--Trigger functions and Events
--Tkinter Library
23/11/2025 SYMBOLIC PROGRAMMING PARADIGM
,Introduction
Automata-based programming is a programming paradigm in which the program or its part is thought of as a mo
state machine or any other formal automation.
What is Automata Theory?
• Automata theory is the study of abstract computational devices
• Abstract devices are (simplified) models of real computations
• Computations happen everywhere: On your laptop, on your cell phone, in nature, …
Example:
input: switch
BATTER output: light bulb
Y
actions: flip switch
states: on, off
, Simple Computer
Example:
input: switch
BATTERY
output: light bulb
actions: flip switch
states: on, off
f
sta o o bulb is on if and only if there w
rt ff n
f number of flips