Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit e3aecdc

Browse files
sjfsjf
committed
Update README.md
1 parent 981e48e commit e3aecdc

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎README.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ temporal_logic
22
==============
33

44
A regular language implementation of Siskind's event logic. Described here: http://sjf.io/Regular_Languages_For_Siskinds_Event_Logic.pdf
5+
Submitted as my final year project for Computer Science in Trinity College Dublin.
56

67
Designed as a proof that the temporal logic used in event recognition can be implemented as regular language/finite automata.
78

0 commit comments

Comments
 (0)