Java implementation of the CYK algorithm.
-
Updated
Feb 26, 2020 - Java
#
theoretical-computer-science
Here are 17 public repositories matching this topic...
A browser-based IDE for the untyped lambda calculus. Try it:
programming ide lambda-calculus mathematics learning-by-doing theoretical-computer-science paradigms
-
Updated
Apr 8, 2019 - Java
A tool to support the proving of natural deduction proofs.
-
Updated
Jul 1, 2022 - Java
A tool to support the computation of expectations in probabilistic programs.
-
Updated
Dec 7, 2022 - Java
A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).
java programming-language parser flex interpreter cup jflex regex javafx toy-language bnf java-8 javafx-application automaton theoretical-computer-science compiler-construction formal-language flex-cup
-
Updated
Jul 17, 2021 - Java
Implementation of Path-Finding Algorithms with a touch of visualisation
java algorithm eclipse javafx pathfinding javafx-application pathfinding-algorithm theoretical-computer-science javafx-project javafx-gui
-
Updated
Apr 28, 2021 - Java
A Java program to model a DFA (Deterministic Finite Automaton)
java theoretical-computer-science dfa deterministic-finite-automata deterministic-finite-automaton deterministic-algorithm theoretical-foundations
-
Updated
Aug 22, 2022 - Java
Semestrální práce KIV/TI - Teoretická Informatika
-
Updated
Mar 22, 2025 - Java
Universal Turing Machine in Java
-
Updated
Oct 24, 2023 - Java
The concept of DAWGs is based on: Blumer, A. et al. (1985). The smallest automation recognizing the subwords of a text. Theoretical Computer Science, 40, 31–55.
nlp tree parsing tree-structure theoretical-computer-science dawg subword subword-segmentation subwords
-
Updated
Sep 13, 2022 - Java
simulates non-graphically a non-deterministic turingmachine (ntm)
-
Updated
Aug 30, 2024 - Java
Simple implementation of cellular automata in Java
-
Updated
Mar 23, 2017 - Java
[Innopolis University] Theoretical Computer Science Course 2021. Assignment
-
Updated
Jun 21, 2022 - Java
Code der TUM Einführung in die Informatik Vorlesungen
-
Updated
Jan 2, 2022 - Java
Turing machine simulator
-
Updated
Jul 12, 2025 - Java
wrote a quine program for my theoretical comp sci class.
-
Updated
Feb 29, 2020 - Java
Improve this page
Add a description, image, and links to the theoretical-computer-science topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theoretical-computer-science topic, visit your repo's landing page and select "manage topics."