Topic
Formal language
About: Formal language is a research topic. Over the lifetime, 5763 publications have been published within this topic receiving 154114 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: It is proved that theFamily of star-free trace languages coincides with the family of aperiodic trace languages because of Schutzenberger's inequality.
35 citations
TL;DR: The authors examines the idea that in mathematics education it is important to wean pupils off the use of informal everyday language and to privilege the use formal technical vocabulary, and they make some observations on use of formal and informal language in the Dimensions transcript.
Abstract: This paper examines the idea that in mathematics education it is important to wean pupils off the use of informal everyday language and to privilege the use of formal technical vocabulary. I will first make some observations on the use of formal and informal language in the Dimensions transcript. The main focus of the next part of the discussion is on the complexities in establishing core and non-core vocabulary meaning and the need to use words to represent established meaning/s as well as to create new ones. After that I will draw on research in mathematics education to show that informal and formal language (including technical vocabulary)is used in various combinations and that pupils can, indeed need to, use informal language productively to explore concepts represented by technical vocabulary.
35 citations
TL;DR: A logic‐based approach to extend the utility of the SASE model for processing (reasoning about) design standards, using a set of axioms that capture the relationships between the classifiers and the provisions of the standard.
Abstract: Several studies have been conducted on representing and processing design standards for design automation. One of the main outcomes of these studies is the standards analysis, synthesis, and expression (SASE) model. To extend the utility of the SASE model for processing (reasoning about) design standards, a logic‐based approach is proposed. This approach provides: (1) A formal language, founded on predicate logic, for representing the standard; and (2) a mechanical means for reasoning about the standard using the language. The formal language is used to model the overall organization of a portion of the American Institute of Steel Construction (AISC) design specification. The model, called the formal organizational submodel, is composed of a set of axioms that capture the relationships between the classifiers and the provisions of the standard. Reasoning about the formal organizational submodel is accomplished using the resolution theorem proving strategy. This paper's main contribution is its use of pred...
35 citations
TL;DR: It is shown that small packets of negative information also lead to increased speed of learning, which agrees with a psycholinguistic hypothesis of McNeill correlating the availability of parental expansions with the speed of child language development.
35 citations