Declarative and procedural morphologies and phonologies

Of formalisms, theories, or as types of semantics?

Declarative formalisms:

Emphasis on

• ``facts''
• ``generalisations''
• minimal number of rules of inference.

Procedural formalisms:

Emphasis on

• rules
• procedures
• algorithms
• simple declarative model
• clear cases: connectionist models; Hidden Markov Models; dubious case: generative phonology