E-learning tools based on transition systems

Authors:
Dan Chiribuca;Iulian Pah;Emil M. Popa;Bogdan A. Brumar
Affiliations:
Department of Sociology, Babes-Bolyai University, Cluj-Napoca, Romania;Department of Sociology, Babes-Bolyai University, Cluj-Napoca, Romania;Department of Computer Science, Faculty of Sciences, Lucian Blaga University of Sibiu, Sibiu, Romania;Department of Computer Science, Faculty of Sciences, Lucian Blaga University of Sibiu, Sibiu, Romania
Venue:
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Year:
2008

Citing 6
Cited 0

Database semantics for natural language

Artificial Intelligence
Foundations of Computational Linguistics: Man-Machine Communication in Natural Language

Foundations of Computational Linguistics: Man-Machine Communication in Natural Language
A unified language processing methodology

Theoretical Computer Science
Generating Model Checkers from Algebraic Specifications

Formal Methods in System Design
Full AFLS and nested iterated substitution

SWAT '69 Proceedings of the 10th Annual Symposium on Switching and Automata Theory (swat 1969)
Algebraic model of programming languages

MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Due to the dynamic nature of the computing objects represented, the semantics of the specification languages used to formalize systems will be a transition system performing computation actions, while the syntax will be the linguistic expression of the actions performed by the transition system. Computing objects manipulated in computer science bear a lot of similarities with the mathematical objects produced by the systems discussed so far they also are very different. The concept of language is regarded as a communication tool that allows language users to develop knowledge, while interacting with their universe of discourse, and to communicate with each other, while exchanging knowledge, in that case for e-learning systems. The results presented here have as initial point [1], [7], [13].