https://github.com/dev88jerry/cs310

Bishop's University - CS 310 Introduction to Software Specifications
https://github.com/dev88jerry/cs310

automata automata-theory pumping-lemma regular-expressions state-transition-diagram state-transitions

Last synced: about 2 months ago
JSON representation

Bishop's University - CS 310 Introduction to Software Specifications

• Host: GitHub
• URL: https://github.com/dev88jerry/cs310
• Owner: dev88jerry
• Created: 2024-02-09T00:21:24.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2024-02-09T00:31:49.000Z (11 months ago)
• Last Synced: 2024-02-09T02:08:59.227Z (11 months ago)
• Topics: automata, automata-theory, pumping-lemma, regular-expressions, state-transition-diagram, state-transitions
• Homepage:
• Size: 19.7 MB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# CS310

Introduction to Software Specifications

Course assignments and midterm from lectures in Winter 2023

[Course website](https://cs.ubishops.ca/home/cs310/)

![This is a meme](https://i.redd.it/formallanguagesanyone-v0-f7b64k3r7w7c1.png?s=25d8410870b3434dd3302a1d391e50c59918d0d0)