# Definition:Occurrence (Formal Systems)

Jump to navigation
Jump to search

*This page is about occurrences of collations in the context of formal systems. For other uses, see Definition:Occurrence.*

## Definition

Let $\mathcal F$ be a formal language.

Let $S, T$ be collations in the alphabet of $\mathcal F$.

Each place where $S$ appears in $T$ is called an **occurrence of $S$ in $T$**.

## Also known as

Some sources refer to this as an **instance**.

## Sources

- 1964: Donald Kalish and Richard Montague:
*Logic: Techniques of Formal Reasoning*... (previous) ... (next): $\text{II}$: 'AND', 'OR', 'IF AND ONLY IF': $\S 4$ - 1965: E.J. Lemmon:
*Beginning Logic*... (previous) ... (next): $\S 2.1$: Formation Rules