Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"formal syntax"”.
-
Assertibility and coordination: Analysing `and' and/or `or', some `some', but not so much `but', `not', `so', or `nor', nor `much'
… explores how far classical logic, combined with formal restrictions that model some Grice-inspired maxims, can go towards describing the multiple distinct uses of the English natural language connectives `and' and `or'. H.P. Grice famously claimed that `and' and `if' could be completely reduced …
-
A mathematical theory of synchronous concurrent algorithms
… synchronous algorithms. The theory includes the formal specification of synchronous algorithms; techniques for proving the correctness and performance or time-complexity of synchronous algorithms, and formal accounts of the simulation and top-down design of synchronous algorithms. The theory is …
-
Language models for verifiable mathematical automation: Interaction, integration, and autoformalization
Stronger automation in formal mathematical reasoning provides scalability, trust-worthiness, and accessibility: it enables efficient verification of complex proofs, reduces the likelihood of errors in intricate calculations, allows non-experts to engage with mathematical concepts, and potentially …
-
A corpus-trained parser for systemic-functional syntax
… will use a probabilistic systemic functional syntax (Fawcett 1981, Souter 1990), which was originally employed to hand-parse the Polytechnic of Wales corpus (Fawcett and Perkins 1980, Souter 1989), a 65,000 word transcribed corpus of children's spoken English. Although SFG contains mechanisms …
-
Diseño y uso de objetos didácticos basado en contratos
… El diseño por contrato, una técnica semi formal aplicada con éxito en la ingeniería de software, puede adaptarse al diseño de metadatos de objetos didácticos para crear registros de metadatos formalizados compuestos por aserciones que informen sobre los prerrequisitos de utilización de un …
-
On the Formal Flexibility of Syntactic Categories
This dissertation explores the formal flexibility of syntactic categories. The main proposal is that Universal Grammar (UG) only provides templatic guidance for syntactic category formation and organization but leaves many other issues open, including issues internal to a single category and issues …