Results 281 to 290 of about 852,128 (332)
Some of the next articles are maybe not open access.
2012
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more ...
openaire +2 more sources
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more ...
openaire +2 more sources
Formal specification languages
Electronics and Power, 1986Bugs in computer software are still commonplace. The problem is often due to inadequate specification of the requirements. Formal specification is proposed as a solution, but is it practical?
John Parker, Graham Titterington
openaire +1 more source
Formalisms for Non-Formal Languages
1999In recent decades computer scientists, linguists, and philosophers converged on offering what are called formal representations of natural languages. In this essay I wish to go back to some earlier work that Dov Gabbay and I did in cooperation, show its significance, and tie it to more recent work that I did on lexical semantics, showing that the early
openaire +1 more source
Formal Languages and Formal Logic
1994Throughout this book we use sentences of formal logic to describe properties of words over a finite alphabet A. A sentence will thus define a language \(L \subseteq A^{*}\); L is the set of all words that have the property described by the sentence.
openaire +1 more source
Learning of Fuzzy Formal Language
IEEE Transactions on Systems, Man, and Cybernetics, 1973A learning model of fuzzy formal language is proposed and discussed. We continue training the learning machine by giving sets of sentences sequentially. As a result of parsing of the given teaching sentences, the learning machine reinforces fuzzy grades of membership of productions in an inherent fuzzy grammar of the machine.
Tamura, Shinichi, Tanaka, Kokichi
openaire +2 more sources
Information and Computation, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ekaterina Bakinova +5 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ekaterina Bakinova +5 more
openaire +2 more sources
Natural Language Versus Formal Language
2019The comparison of natural languages and formal languages has become quite popular of late. The topic was on the program of the last International Congress for Logic, Methodology and Philosophy of Science in Amsterdam, and also on the program of the 1968 New York University Institute of Philosophy. I have read the published results of both meetings [1],
openaire +1 more source
Formal Languages and Natural Languages
2018The old conception of logical form did not survive the problems that emerged in connection with the dichotomy between natural language and logically perfect language. After Frege, Russell, and Wittgenstein, the ideal of logical perfection lost traction. However, the spirit of that conception did not die with its letter.
openaire +1 more source
1981
The formal, clinical assessment of dysphasia encompasses at least five aspects. Depending on the circumstances, all may be given equal weight, one may be dominant to the exclusion of all the others, or any distribution of emphasis between these extremes may obtain. These aspects are the following: 1.
Martin L. Albert +4 more
openaire +1 more source
The formal, clinical assessment of dysphasia encompasses at least five aspects. Depending on the circumstances, all may be given equal weight, one may be dominant to the exclusion of all the others, or any distribution of emphasis between these extremes may obtain. These aspects are the following: 1.
Martin L. Albert +4 more
openaire +1 more source