Loading…
Revisiting Shinohara's algorithm for computing descriptive patterns
A pattern α is a word consisting of constants and variables and it describes the pattern language L(α) of all words that can be obtained by uniformly replacing the variables with constant words. In 1982, Shinohara presents an algorithm that computes a pattern that is descriptive for a finite set S o...
Saved in:
Main Authors: | , , , |
---|---|
Format: | Default Article |
Published: |
2018
|
Subjects: | |
Online Access: | https://hdl.handle.net/2134/24634 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|