k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] '_' not matching .K

From: Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>
To: Omar Duhaiby <3omarz AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] '_' not matching .K
Date: Thu, 6 Nov 2014 12:14:11 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

It should. Maybe the problem lays somewhere else. Could you provide more context?

best wishes,

Traian

2014-11-06 9:26 GMT+02:00 Omar Duhaiby <3omarz AT gmail.com>:

I want to delete the contents of the K cell in one of the rules. So I have the following:
<k> _ => . </k>

The rule works when I comment that line out but gets stuck otherwise. When It's stuck it shows the k cell as:
<k> .K </k>

Does that mean that '_' does not match '.'? I'm sure that in an earlier thread in this list, I found out that it does.

Thank you
Omar Alzuhaibi

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] '_' not matching .K, Omar Duhaiby, 11/06/2014
- Re: [K-user] '_' not matching .K, Traian Florin Şerbănuţă, 11/06/2014