[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Sun, 18 Dec 2022 09:20:47 +0100*References*: <6c72f651-82f0-416c-b01f-744a7bef5662n@googlegroups.com> <ECAA9F9A-1BE6-4CB9-A832-56E384F2A9D8@gmail.com> <1d759b36-d03a-4bb3-a33a-7ba05d47914dn@googlegroups.com> <B34824F7-21B5-4757-9DB0-6655E72E42C7@gmail.com> <17c1a443-829b-4c81-8119-f4414211af8en@googlegroups.com> <405d1a39-1eca-451c-b85e-f11aa8cf5b41n@googlegroups.com> <11a602f5-3bef-4262-8645-765b6079e5fdn@googlegroups.com>

Can you explain what `struct' represents? Assuming the module pasted on StackOverflow is the one you are currently working with, I don't understand why you compare struct[pattern[j+1]] and struct[text[i + j]] rather than just comparing pattern[j+1] and text[i+j], as in the Java version of the algorithm. What values did you choose for instantiating the constant parameters in your model? I suggest you use something like Characters <- {a,b,c} \* set of model values text <- << a, b, a, a, c >> \* ordinary value pattern <- << a, a >> \* ordinary value
-- Concerning expressiveness, PlusCal and TLA+ expressions are the same, and PlusCal should certainly be powerful enough to represent the algorithm. Both languages are way more expressive than Java, in a mathematical sense. Stephan
You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/EC81EA75-9368-473C-A651-17347531F655%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

**References**:**[tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

**Re: [tlaplus] Functions in the standard libraries***From:*Stephan Merz

**Re: [tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

**Re: [tlaplus] Functions in the standard libraries***From:*Stephan Merz

**Re: [tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

**Re: [tlaplus] Functions in the standard libraries***From:*Andrew Helwer

**Re: [tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

- Prev by Date:
**Re: [tlaplus] Functions in the standard libraries** - Next by Date:
**[tlaplus] Converting TLA+ spec to PlusCal** - Previous by thread:
**Re: [tlaplus] Functions in the standard libraries** - Next by thread:
**Re: [tlaplus] Functions in the standard libraries** - Index(es):