วีดีโอ

ToC-33. Turing machine: input symbol, stack symbol and Direction.

ToC-31. Example language of DPDA and its conditions.

ToC-32. PDA example langyages. Also video contains languages whose PDA cannot be made.

ES-45. SPARQL queries. COUNT and SUM functions. SPARQL query syntax and Semantics. Queries executed on PROTEGE. ONTOLOGY ENGINEERING.

ES-44. ONTOLOGY ENGINEERING. quantifier Restrictions. What are axioms? in logic. What is its difference with inference by Reasoner?

ES-43. Functional, inverse functional, transitive, symmetric, asymmetric, reflexive, irreflexive property characteristics Protege.

ES-42. What is an ontology? What is OWL representation for Ontologies? OWL Components. Classes. Individuals (objects and instances). data properties, datatype properties, and annotation properties. Domain and range of OWL properties. Protege software.

ToC-30. Nondeterminism in Pushdown automata. Example NPDA that accepts language whose members are mirror of the strings. String reverse. LwwR.

ToC-29. Seven parameters tuple to define a Pushdown automaton.

ToC-28. Introduction of Pushdown automata from the book of Ullman. Why stack is used in PDA (pushdown automata)? Example PDA of the language a^n*b^b. Actions of the PDA working. How PDA works?

ToC-27. Regular expressions, Regular Languages, Context-free grammars

ES-41. Duality in Modal logic formula. Duality of Box and Diamond. Saul Kripke. Kripke Model.

ES-40. valid formulae of modal logic. Kripke frames. Kripke model. semantics of Modal logic. Axiom K of modal logic.

ES-39. Negated Propositional queries on KRIPKE Model. Expert Systems. Modal Logic. Modal logic semantics.

Introducing Context free Grammar and Languages

DFA to RE Example by Eliminating States

DFA to RE by Eliminating States

KRIPKE Model Graph Queries examples (box and diamonds)

KRIPKE Model Checking Algorithm

KRIPKE Model and Graph queries

Modal Logic Semantics - Kripke

Modal Logic Syntax

Modal Logic Introduction

Is simplicity a quality attribute?

What is Software?

Software Engineering Text Books

Protege Ontology Introduction. Protege Environment.

DFA to RE Part 2 - Example Solution with two accepting states

DFA to RE Construction using Formal Method