Questions tagged [computational-linguistics]
The computational-linguistics tag has no usage guidance.
8 questions
11
votes
4
answers
1k
views
Why is alpha-equivalence in untyped $\lambda$-calculus substitutive?
This is something all introductory texts seem to avoid proving, and many even avoid stating.
We consider untyped $\lambda$-terms on some countably infinite alphabet. If $x$ is a variable and $p$ is ...
- 4,713
4
votes
1
answer
260
views
Do grammars with these properties have a name?
I'm interested in context-free grammars on a finite set of symbols where all the production rules replace a symbol by a string of length two. There is also one constraint: in the reductive direction ...
CommunityBot
- 1
1
vote
0
answers
112
views
Auxiliary verbs in DisCoCat
If you have seen Coecke and Sadrzadeh's work on linguistics, or Natural Language Processing (see "Experimenting with transitive verbs in a DisCoCat": arXiv link, you will know they have a ...
- 24.2k
2
votes
0
answers
127
views
What natural language properties are supported by these categorical axioms?
I find it difficult to see a concise description of all the Categorical structures one needs to support each of the features we see in Natural Language. This work was largely covered by Coecke and ...
- 63.9k
9
votes
0
answers
467
views
Measuring the randomness of texts
The question concerns statistic properties of random words in a finite alphabet $A$.
By $A^{<\omega}$ we denote the set of all words in the alphabet $A$, i.e. finite sequences of elements of $A$.
...
- 41.8k
1
vote
0
answers
45
views
Latent Dirichlet Allocation on Contrived Data
I am doing a project that seems like it might be susceptible to Latent Dirichlet Allocation. However, my data is highly contrived (both in test cases and use cases) and my "words" don't come close to ...
- 612
8
votes
3
answers
710
views
Predicting if something is a code
I'm trying to help a non-mathematical friend by posting a question of his here. He studies literature and has come across a book which is written in a made-up language. The book is hundreds of pages,...
CommunityBot
- 1
5
votes
9
answers
1k
views
Looking for a collection of entry level proofs
Hi all,
I am looking to do some linguistic analysis of informal proofs. Therefore I am on a search for a collection of entry level proofs written in a clear, uninvolved style. I have one ...
- 4,784